V2 (transaction_snark.Transaction_snark.Statement.Poly.Stable.V2)

type ('ledger_hash, 'amount, 'pending_coinbase, 'fee_excess, 'sok_digest, 'local_state)
  t =
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    Mina_wire_types.Transaction_snark.Statement.Poly.V2.t =
  {

source : ( 'ledger_hash, 'pending_coinbase, 'local_state )
           Mina_state.Registers.Stable.V1.t;

target : ( 'ledger_hash, 'pending_coinbase, 'local_state )
           Mina_state.Registers.Stable.V1.t;

supply_increase : 'amount;

fee_excess : 'fee_excess;

sok_digest : 'sok_digest;

}

val to_yojson : 
  ( 'ledger_hash -> Yojson.Safe.t ) ->
  ( 'amount -> Yojson.Safe.t ) ->
  ( 'pending_coinbase -> Yojson.Safe.t ) ->
  ( 'fee_excess -> Yojson.Safe.t ) ->
  ( 'sok_digest -> Yojson.Safe.t ) ->
  ( 'local_state -> Yojson.Safe.t ) ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  Yojson.Safe.t

val of_yojson : 
  ( Yojson.Safe.t -> 'ledger_hash Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'amount Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'pending_coinbase Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'fee_excess Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'sok_digest Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'local_state Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    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 ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t

val bin_size_t : 
  'ledger_hash Core.Bin_prot.Size.sizer ->
  'amount Core.Bin_prot.Size.sizer ->
  'pending_coinbase Core.Bin_prot.Size.sizer ->
  'fee_excess Core.Bin_prot.Size.sizer ->
  'sok_digest Core.Bin_prot.Size.sizer ->
  'local_state Core.Bin_prot.Size.sizer ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t
    Core.Bin_prot.Size.sizer

val bin_write_t : 
  'ledger_hash Core.Bin_prot.Write.writer ->
  'amount Core.Bin_prot.Write.writer ->
  'pending_coinbase Core.Bin_prot.Write.writer ->
  'fee_excess Core.Bin_prot.Write.writer ->
  'sok_digest Core.Bin_prot.Write.writer ->
  'local_state Core.Bin_prot.Write.writer ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t
    Core.Bin_prot.Write.writer

val bin_writer_t : 
  'ledger_hash Core.Bin_prot.Type_class.writer ->
  'amount Core.Bin_prot.Type_class.writer ->
  'pending_coinbase Core.Bin_prot.Type_class.writer ->
  'fee_excess Core.Bin_prot.Type_class.writer ->
  'sok_digest Core.Bin_prot.Type_class.writer ->
  'local_state Core.Bin_prot.Type_class.writer ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t
    Core.Bin_prot.Type_class.writer

val bin_read_t : 
  'ledger_hash Core.Bin_prot.Read.reader ->
  'amount Core.Bin_prot.Read.reader ->
  'pending_coinbase Core.Bin_prot.Read.reader ->
  'fee_excess Core.Bin_prot.Read.reader ->
  'sok_digest Core.Bin_prot.Read.reader ->
  'local_state Core.Bin_prot.Read.reader ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t
    Core.Bin_prot.Read.reader

val __bin_read_t__ : 
  'ledger_hash Core.Bin_prot.Read.reader ->
  'amount Core.Bin_prot.Read.reader ->
  'pending_coinbase Core.Bin_prot.Read.reader ->
  'fee_excess Core.Bin_prot.Read.reader ->
  'sok_digest Core.Bin_prot.Read.reader ->
  'local_state Core.Bin_prot.Read.reader ->
  ( int ->
    ( 'ledger_hash,
      'amount,
      'pending_coinbase,
      'fee_excess,
      'sok_digest,
      'local_state )
      t )
    Core.Bin_prot.Read.reader

val bin_reader_t : 
  'ledger_hash Core.Bin_prot.Type_class.reader ->
  'amount Core.Bin_prot.Type_class.reader ->
  'pending_coinbase Core.Bin_prot.Type_class.reader ->
  'fee_excess Core.Bin_prot.Type_class.reader ->
  'sok_digest Core.Bin_prot.Type_class.reader ->
  'local_state Core.Bin_prot.Type_class.reader ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t
    Core.Bin_prot.Type_class.reader

val bin_t : 
  'ledger_hash Core.Bin_prot.Type_class.t ->
  'amount Core.Bin_prot.Type_class.t ->
  'pending_coinbase Core.Bin_prot.Type_class.t ->
  'fee_excess Core.Bin_prot.Type_class.t ->
  'sok_digest Core.Bin_prot.Type_class.t ->
  'local_state Core.Bin_prot.Type_class.t ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t
    Core.Bin_prot.Type_class.t

val __versioned__ : unit

val compare : 
  ( 'ledger_hash -> 'ledger_hash -> int ) ->
  ( 'amount -> 'amount -> int ) ->
  ( 'pending_coinbase -> 'pending_coinbase -> int ) ->
  ( 'fee_excess -> 'fee_excess -> int ) ->
  ( 'sok_digest -> 'sok_digest -> int ) ->
  ( 'local_state -> 'local_state -> int ) ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  int

val equal : 
  ( 'ledger_hash -> 'ledger_hash -> bool ) ->
  ( 'amount -> 'amount -> bool ) ->
  ( 'pending_coinbase -> 'pending_coinbase -> bool ) ->
  ( 'fee_excess -> 'fee_excess -> bool ) ->
  ( 'sok_digest -> 'sok_digest -> bool ) ->
  ( 'local_state -> 'local_state -> bool ) ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  bool

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state ->
    'ledger_hash ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'amount -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'pending_coinbase ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'fee_excess -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'sok_digest -> 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_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  Ppx_hash_lib.Std.Hash.state

val sexp_of_t : 
  ( 'ledger_hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'amount -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'pending_coinbase -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'fee_excess -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'sok_digest -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'local_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val t_of_sexp : 
  ( Ppx_sexp_conv_lib.Sexp.t -> 'ledger_hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'amount ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'pending_coinbase ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'fee_excess ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'sok_digest ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'local_state ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t

val to_hlist : 
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t ->
  ( unit,
    ( 'ledger_hash, 'pending_coinbase, 'local_state )
      Mina_state.Registers.Stable.V1.t ->
    ( 'ledger_hash, 'pending_coinbase, 'local_state )
      Mina_state.Registers.Stable.V1.t ->
    'amount ->
    'fee_excess ->
    'sok_digest ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    ( 'ledger_hash, 'pending_coinbase, 'local_state )
      Mina_state.Registers.Stable.V1.t ->
    ( 'ledger_hash, 'pending_coinbase, 'local_state )
      Mina_state.Registers.Stable.V1.t ->
    'amount ->
    'fee_excess ->
    'sok_digest ->
    unit )
    H_list.t ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    t