Module Zkapp_precondition.Closed_interval

module Stable : sig ... end
type 'a t = 'a Stable.Latest.t = {
lower : 'a;
upper : 'a;
}
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_fields_annots : string -> (string * string option) list
val t_toplevel_annots : unit -> (string * string option) list
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 compare : 'a. ( 'a -> 'a -> int ) -> 'a t -> 'a t -> int
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 to_hlist : 'a t -> ( unit, 'a -> 'a -> unit ) H_list.t
val of_hlist : ( unit, 'a -> 'a -> unit ) H_list.t -> 'a t
val upper : 'a t -> 'b
val lower : 'a t -> 'b
module Fields : sig ... end
val gen : 'a Core_kernel__Quickcheck.Generator.t -> ( 'b -> 'c -> Core_kernel__Int.t ) -> 'd t Core_kernel__Quickcheck.Generator.t
val to_input : 'a t -> f:( 'b -> 'c Random_oracle_input.Chunked.t ) -> 'c Random_oracle_input.Chunked.t
val deriver : name: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 ) -> ( 'c1 t, ( ( < contramap : ( 'c1 t -> 'c1 t ) Core_kernel.ref ; graphql_arg : ( unit -> 'e1 t Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_arg_accumulator : 'e1 t Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.T.t Core_kernel.ref ; graphql_creator : ( ( ( 'f1, 'e1 t, 'e1 t, 'g1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Output.t, 'e1 t, 'e1 t, 'g1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t -> 'e1 t ) Core_kernel.ref ; graphql_fields : 'c1 t Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_fields_accumulator : 'c1 t Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.T.t list Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; graphql_query_accumulator : (Core_kernel.String.t * string option) option list Core_kernel.ref ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref ; js_layout_accumulator : Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field option list Core_kernel.ref ; map : ( 'e1 t -> 'e1 t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> 'g1 Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : 'c1 t option Fields_derivers_zkapps.Derivers.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] -> 'e1 t ) Core_kernel.ref ; of_json_creator : Yojson.Safe.t Core_kernel.String.Map.t Core_kernel.ref ; skip : bool Core_kernel.ref ; to_json : ( 'c1 t -> [> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ] ) Core_kernel.ref ; to_json_accumulator : (Core_kernel.String.t * ( 'c1 t -> Yojson.Safe.t )) option list Core_kernel.ref.. > as 'd1, 'e1 t, 'e1 t, 'g1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Input.t, 'e1 t, 'e1 t, 'h1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.t, 'c1 t, 'c1 t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.t -> ( 'c1 t, ( 'd1, 'e1 t, 'e1 t, 'g1 ) Fields_derivers_zkapps.Derivers.Graphql.Args.Acc.t, 'c1 t, 'c1 t option ) Fields_derivers_zkapps.Derivers.Graphql.Fields.Accumulator.t