V2 (mina_state.Mina_state.Blockchain

type ('staged_ledger_hash, 'snarked_ledger_hash, 'local_state, 'time, 'body_reference)
  t =
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    Mina_wire_types.Mina_state.Blockchain_state.Poly.V2.t =
  {

staged_ledger_hash : 'staged_ledger_hash;

genesis_ledger_hash : 'snarked_ledger_hash;

registers : ( 'snarked_ledger_hash, unit, 'local_state ) Registers.Stable.V1.t;

timestamp : 'time;

body_reference : 'body_reference;

}

val to_yojson : 
  ( 'staged_ledger_hash -> Yojson.Safe.t ) ->
  ( 'snarked_ledger_hash -> Yojson.Safe.t ) ->
  ( 'local_state -> Yojson.Safe.t ) ->
  ( 'time -> Yojson.Safe.t ) ->
  ( 'body_reference -> Yojson.Safe.t ) ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  Yojson.Safe.t

val of_yojson : 
  ( Yojson.Safe.t -> 'staged_ledger_hash Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t ->
    'snarked_ledger_hash Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'local_state Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'time Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'body_reference Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Ppx_deriving_yojson_runtime.error_or

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

val bin_size_t : 
  'staged_ledger_hash Core_kernel.Bin_prot.Size.sizer ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Size.sizer ->
  'local_state Core_kernel.Bin_prot.Size.sizer ->
  'time Core_kernel.Bin_prot.Size.sizer ->
  'body_reference Core_kernel.Bin_prot.Size.sizer ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'staged_ledger_hash Core_kernel.Bin_prot.Write.writer ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Write.writer ->
  'local_state Core_kernel.Bin_prot.Write.writer ->
  'time Core_kernel.Bin_prot.Write.writer ->
  'body_reference Core_kernel.Bin_prot.Write.writer ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'staged_ledger_hash Core_kernel.Bin_prot.Type_class.writer ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Type_class.writer ->
  'local_state Core_kernel.Bin_prot.Type_class.writer ->
  'time Core_kernel.Bin_prot.Type_class.writer ->
  'body_reference Core_kernel.Bin_prot.Type_class.writer ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Core_kernel.Bin_prot.Type_class.writer

val bin_read_t : 
  'staged_ledger_hash Core_kernel.Bin_prot.Read.reader ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Read.reader ->
  'local_state Core_kernel.Bin_prot.Read.reader ->
  'time Core_kernel.Bin_prot.Read.reader ->
  'body_reference Core_kernel.Bin_prot.Read.reader ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Core_kernel.Bin_prot.Read.reader

val __bin_read_t__ : 
  'staged_ledger_hash Core_kernel.Bin_prot.Read.reader ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Read.reader ->
  'local_state Core_kernel.Bin_prot.Read.reader ->
  'time Core_kernel.Bin_prot.Read.reader ->
  'body_reference Core_kernel.Bin_prot.Read.reader ->
  ( int ->
    ( 'staged_ledger_hash,
      'snarked_ledger_hash,
      'local_state,
      'time,
      'body_reference )
      t )
    Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'staged_ledger_hash Core_kernel.Bin_prot.Type_class.reader ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Type_class.reader ->
  'local_state Core_kernel.Bin_prot.Type_class.reader ->
  'time Core_kernel.Bin_prot.Type_class.reader ->
  'body_reference Core_kernel.Bin_prot.Type_class.reader ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'staged_ledger_hash Core_kernel.Bin_prot.Type_class.t ->
  'snarked_ledger_hash Core_kernel.Bin_prot.Type_class.t ->
  'local_state Core_kernel.Bin_prot.Type_class.t ->
  'time Core_kernel.Bin_prot.Type_class.t ->
  'body_reference Core_kernel.Bin_prot.Type_class.t ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t
    Core_kernel.Bin_prot.Type_class.t

val __versioned__ : unit

val sexp_of_t : 
  ( 'staged_ledger_hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'snarked_ledger_hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'local_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'time -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'body_reference -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val t_of_sexp : 
  ( Ppx_sexp_conv_lib.Sexp.t -> 'staged_ledger_hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'snarked_ledger_hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'local_state ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'time ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'body_reference ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t

val body_reference : 
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  'body_reference

val timestamp : 
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  'time

val registers : 
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  ( 'snarked_ledger_hash, unit, 'local_state ) Registers.Stable.V1.t

val genesis_ledger_hash : 
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  'snarked_ledger_hash

val staged_ledger_hash : 
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  'staged_ledger_hash

module Fields : sig ... end

val equal : 
  ( 'staged_ledger_hash -> 'staged_ledger_hash -> bool ) ->
  ( 'snarked_ledger_hash -> 'snarked_ledger_hash -> bool ) ->
  ( 'local_state -> 'local_state -> bool ) ->
  ( 'time -> 'time -> bool ) ->
  ( 'body_reference -> 'body_reference -> bool ) ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  bool

val compare : 
  ( 'staged_ledger_hash -> 'staged_ledger_hash -> int ) ->
  ( 'snarked_ledger_hash -> 'snarked_ledger_hash -> int ) ->
  ( 'local_state -> 'local_state -> int ) ->
  ( 'time -> 'time -> int ) ->
  ( 'body_reference -> 'body_reference -> int ) ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  int

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state ->
    'staged_ledger_hash ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'snarked_ledger_hash ->
    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 -> 'time -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'body_reference ->
    Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  Ppx_hash_lib.Std.Hash.state

val to_hlist : 
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t ->
  ( unit,
    'staged_ledger_hash ->
    'snarked_ledger_hash ->
    ( 'snarked_ledger_hash, unit, 'local_state ) Registers.Stable.V1.t ->
    'time ->
    'body_reference ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    'staged_ledger_hash ->
    'snarked_ledger_hash ->
    ( 'snarked_ledger_hash, unit, 'local_state ) Registers.Stable.V1.t ->
    'time ->
    'body_reference ->
    unit )
    H_list.t ->
  ( 'staged_ledger_hash,
    'snarked_ledger_hash,
    'local_state,
    'time,
    'body_reference )
    t