Statement (transaction_snark.Transaction

module Poly : sig ... end

type ('ledger_hash, 'amount, 'pending_coinbase, 'fee_excess, 'sok_digest, 'local_state)
  poly =
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    Poly.t =
  {

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

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

supply_increase : 'amount;

fee_excess : 'fee_excess;

sok_digest : 'sok_digest;

}

val poly_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 )
    poly ->
  Yojson.Safe.t

val poly_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 )
    poly
    Ppx_deriving_yojson_runtime.error_or

val compare_poly : 
  ( '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 )
    poly ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    poly ->
  int

val equal_poly : 
  ( '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 )
    poly ->
  ( 'ledger_hash,
    'amount,
    'pending_coinbase,
    'fee_excess,
    'sok_digest,
    'local_state )
    poly ->
  bool

val hash_fold_poly : 
  ( 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 )
    poly ->
  Ppx_hash_lib.Std.Hash.state

val sexp_of_poly : 
  ( '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 )
    poly ->
  Ppx_sexp_conv_lib.Sexp.t

val poly_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 )
    poly

module Stable : sig ... end

type t = Stable.Latest.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val compare : t -> t -> int

val equal : t -> t -> bool

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

module With_sok : sig ... end

val gen : t Core.Quickcheck.Generator.t

val merge : t -> t -> t Core.Or_error.t

include Core.Hashable.S_binable with type t := t

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val hashable : t Core_kernel__.Hashtbl.Hashable.t

module Table : sig ... end

module Hash_set : sig ... end

module Hash_queue : sig ... end

include Core.Comparable.S with type t := t

val (>=) : t -> t -> bool

val (<=) : t -> t -> bool

val (=) : t -> t -> bool

val (>) : t -> t -> bool

val (<) : t -> t -> bool

val (<>) : t -> t -> bool

val equal : t -> t -> bool

val compare : t -> t -> int

val min : t -> t -> t

val max : t -> t -> t

val ascending : t -> t -> int

val descending : t -> t -> int

val between : t -> low:t -> high:t -> bool

val clamp_exn : t -> min:t -> max:t -> t

val clamp : t -> min:t -> max:t -> t Base__.Or_error.t

type comparator_witness

val comparator : ( t, comparator_witness ) Base__Comparator.comparator

val validate_lbound : min:t Base__.Maybe_bound.t -> t Base__.Validate.check

val validate_ubound : max:t Base__.Maybe_bound.t -> t Base__.Validate.check

val validate_bound : 
  min:t Base__.Maybe_bound.t ->
  max:t Base__.Maybe_bound.t ->
  t Base__.Validate.check

module Replace_polymorphic_compare : sig ... end

module Map : sig ... end

module Set : sig ... end