Module Zkapp_precondition.Numeric

module Tc : sig ... end
module Stable : sig ... end
type 'a t = 'a Stable.Latest.t
val to_yojson : 'a. ( 'a -> Yojson.Safe.t ) -> 'a t -> Yojson.Safe.t
val of_yojson : 'a. ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
val _ : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : 'a. ( Ppx_sexp_conv_lib.Sexp.t -> 'a ) -> Ppx_sexp_conv_lib.Sexp.t -> 'a t
val sexp_of_t : 'a. ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) -> 'a t -> Ppx_sexp_conv_lib.Sexp.t
val equal : 'a. ( 'a -> 'a -> bool ) -> 'a t -> 'a t -> bool
val hash_fold_t : 'a. ( Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> 'a t -> Ppx_hash_lib.Std.Hash.state
val compare : 'a. ( 'a -> 'a -> int ) -> 'a t -> 'a t -> int
val deriver : string -> ( < contramap : ( 'a -> 'b ) Core_kernel.ref ; graphql_arg : ( unit -> 'c ) Core_kernel.ref ; graphql_arg_accumulator : 'd Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_creator : ( 'e -> 'f ) Core_kernel.ref ; graphql_fields : 'g Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : 'h list Core_kernel.ref ; graphql_query : 'i option Core_kernel.ref ; graphql_query_accumulator : 'j list Core_kernel.ref ; js_layout : [> `Assoc of 'k list ] Core_kernel.ref ; js_layout_accumulator : 'l list Core_kernel.ref ; map : ( 'm -> 'n ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref ; nullable_graphql_fields : 'p Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( 'q -> 'r ) Core_kernel.ref ; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 't -> 'u ) Core_kernel.ref ; to_json_accumulator : 'v list Core_kernel.ref > -> ( 'w, ( 'x, ( 'w, ( < contramap : ( 'y -> 'w ) Core_kernel.ref ; graphql_arg : ( unit -> 'x Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_fields : 'w Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : Yojson.Safe.t Core_kernel.ref ; map : ( 'x -> 'z ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'a1 Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'b1 Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> 'x ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 'w -> Yojson.Safe.t ) Core_kernel.ref.. > Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'z, 'x, 'a1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y, 'b1 ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'z ) Fields_derivers_json.Of_yojson.Input.t, 'y ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t ) -> (string * string) -> ( 'y Closed_interval.t option, ( 'y Closed_interval.t option, ( ( ( 'y Closed_interval.t option, ( 'z Closed_interval.t option, ( 'y Closed_interval.t option, ( ( 'y Closed_interval.t option, ( 'z Closed_interval.t option, ( 'y Closed_interval.t option, ( < contramap : ( 'y Closed_interval.t Zkapp_basic.Or_ignore.t -> 'y Closed_interval.t option ) Core_kernel.ref ; graphql_arg : ( unit -> 'z Closed_interval.t option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_arg_accumulator : 'z Closed_interval.t Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_fields : 'y Closed_interval.t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : 'y Closed_interval.t Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.T.t list Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref ; map : ( 'z Closed_interval.t option -> 'z Closed_interval.t Zkapp_basic.Or_ignore.t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'z Closed_interval.t option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'y Closed_interval.t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> 'z Closed_interval.t option ) Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 'y Closed_interval.t option -> Yojson.Safe.t ) Core_kernel.ref.. > as 'c1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t, 'z Closed_interval.t option, 'z Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t, 'y Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t ) Fields_derivers_json.Of_yojson.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t, 'z Closed_interval.t option, 'z Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t, 'y Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t ) Fields_derivers_json.Of_yojson.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t, 'z Closed_interval.t option, 'z Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t, 'z Closed_interval.t option, 'z Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t, 'y Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t, 'y Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t -> ( 'y Closed_interval.t option, ( 'z Closed_interval.t option, ( 'y Closed_interval.t option, ( 'd1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t Fields_derivers_graphql.Graphql_query.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t, 'z Closed_interval.t option, 'z Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t, 'y Closed_interval.t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.t, 'z Closed_interval.t Zkapp_basic.Or_ignore.t ) Fields_derivers_json.Of_yojson.Input.t, 'y Closed_interval.t Zkapp_basic.Or_ignore.t ) Fields_derivers_json.To_yojson.Input.t Fields_derivers_zkapps.Derivers.Unified_input.t
module Derivers : sig ... end
val gen : 'a Core_kernel__Quickcheck.Generator.t -> ( 'a -> 'a -> Core_kernel__Int.t ) -> 'a Closed_interval.t Zkapp_basic.Or_ignore.t Core_kernel__Quickcheck.Generator.t
module Checked : sig ... end
val check : label:string -> ( 'b, 'a ) Tc.t -> 'a0 t -> 'a1 -> ( unit, Core_kernel__.Error.t ) Core_kernel._result
val is_constant : ( 'b, 'a ) Tc.t -> 'a0 t -> bool