V1 (mina_base.Mina_base.Zkapp_precondition.Closed

type 'a t =
  'a Mina_wire_types.Mina_base.Zkapp_precondition.Closed_interval.V1.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 bin_shape_t : Core_kernel.Bin_prot.Shape.t -> Core_kernel.Bin_prot.Shape.t

val bin_size_t : 
  'a. 'a Core_kernel.Bin_prot.Size.sizer ->
  'a t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'a. 'a Core_kernel.Bin_prot.Write.writer ->
  'a t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'a. 'a Core_kernel.Bin_prot.Read.reader ->
  ( int -> 'a t ) Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'a. 'a Core_kernel.Bin_prot.Read.reader ->
  'a t Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b t Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

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