V1 (mina_state.Mina_state.Registers.Stable.V1)

type ('ledger, 'pending_coinbase_stack, 'local_state) t =
  ( 'ledger, 'pending_coinbase_stack, 'local_state )
    Mina_wire_types.Mina_state.Registers.V1.t =
  {

ledger : 'ledger;

pending_coinbase_stack : 'pending_coinbase_stack;

local_state : 'local_state;

}

val to_yojson : 
  'ledger 'pending_coinbase_stack 'local_state. ( 'ledger -> Yojson.Safe.t ) ->
  ( 'pending_coinbase_stack -> Yojson.Safe.t ) ->
  ( 'local_state -> Yojson.Safe.t ) ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  Yojson.Safe.t

val of_yojson : 
  'ledger 'pending_coinbase_stack 'local_state. ( Yojson.Safe.t ->
                                                  'ledger
                                                    Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t ->
    'pending_coinbase_stack Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'local_state Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t
    Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'c Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b, 'c ) t Ppx_deriving_yojson_runtime.error_or

val bin_shape_t : 
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t

val bin_size_t : 
  'ledger 'pending_coinbase_stack 'local_state. 'ledger
                                                  Core.Bin_prot.Size.sizer ->
  'pending_coinbase_stack Core.Bin_prot.Size.sizer ->
  'local_state Core.Bin_prot.Size.sizer ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t Core.Bin_prot.Size.sizer

val bin_write_t : 
  'ledger 'pending_coinbase_stack 'local_state. 'ledger
                                                  Core.Bin_prot.Write.writer ->
  'pending_coinbase_stack Core.Bin_prot.Write.writer ->
  'local_state Core.Bin_prot.Write.writer ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t
    Core.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core.Bin_prot.Type_class.writer ->
  'b Core.Bin_prot.Type_class.writer ->
  'c Core.Bin_prot.Type_class.writer ->
  ( 'd, 'e, 'f ) t Core.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'ledger 'pending_coinbase_stack 'local_state. 'ledger
                                                  Core.Bin_prot.Read.reader ->
  'pending_coinbase_stack Core.Bin_prot.Read.reader ->
  'local_state Core.Bin_prot.Read.reader ->
  ( int ->
    ( 'ledger, 'pending_coinbase_stack, 'local_state ) t )
    Core.Bin_prot.Read.reader

val bin_read_t : 
  'ledger 'pending_coinbase_stack 'local_state. 'ledger
                                                  Core.Bin_prot.Read.reader ->
  'pending_coinbase_stack Core.Bin_prot.Read.reader ->
  'local_state Core.Bin_prot.Read.reader ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t
    Core.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core.Bin_prot.Type_class.reader ->
  'b Core.Bin_prot.Type_class.reader ->
  'c Core.Bin_prot.Type_class.reader ->
  ( 'd, 'e, 'f ) t Core.Bin_prot.Type_class.reader

val bin_t : 
  'a Core.Bin_prot.Type_class.t ->
  'b Core.Bin_prot.Type_class.t ->
  'c Core.Bin_prot.Type_class.t ->
  ( 'd, 'e, 'f ) t Core.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val compare : 
  'ledger 'pending_coinbase_stack 'local_state. ( 'ledger -> 'ledger -> int ) ->
  ( 'pending_coinbase_stack -> 'pending_coinbase_stack -> int ) ->
  ( 'local_state -> 'local_state -> int ) ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  int

val equal : 
  'ledger 'pending_coinbase_stack 'local_state. ( 'ledger -> 'ledger -> bool ) ->
  ( 'pending_coinbase_stack -> 'pending_coinbase_stack -> bool ) ->
  ( 'local_state -> 'local_state -> bool ) ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  bool

val hash_fold_t : 
  'ledger 'pending_coinbase_stack 'local_state. ( Ppx_hash_lib.Std.Hash.state ->
                                                  'ledger ->
                                                  Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'pending_coinbase_stack ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'local_state ->
    Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  Ppx_hash_lib.Std.Hash.state

val t_of_sexp : 
  'ledger 'pending_coinbase_stack 'local_state. ( Ppx_sexp_conv_lib.Sexp.t ->
                                                  'ledger ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'pending_coinbase_stack ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'local_state ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t

val sexp_of_t : 
  'ledger 'pending_coinbase_stack 'local_state. ( 'ledger ->
                                                  Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'pending_coinbase_stack -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'local_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val to_hlist : 
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t ->
  ( unit, 'ledger -> 'pending_coinbase_stack -> 'local_state -> unit ) H_list.t

val of_hlist : 
  ( unit, 'ledger -> 'pending_coinbase_stack -> 'local_state -> unit ) H_list.t ->
  ( 'ledger, 'pending_coinbase_stack, 'local_state ) t

val local_state : ( 'a, 'b, 'c ) t -> 'd

val pending_coinbase_stack : ( 'a, 'b, 'c ) t -> 'd

val ledger : ( 'a, 'b, 'c ) t -> 'd

module Fields : sig ... end