Module Mina_transaction.Transaction

module Poly : sig ... end
module Valid : sig ... end
module Stable : sig ... end
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
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
val compare : Stable.Latest.t -> Stable.Latest.t -> Core_kernel__.Import.int
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> Stable.Latest.t -> Ppx_hash_lib.Std.Hash.state
val hash : Stable.Latest.t -> Ppx_hash_lib.Std.Hash.hash_value
val hashable : Stable.Latest.t Core_kernel__.Hashtbl.Hashable.t
module Table : sig ... end
module Hash_set : sig ... end
module Hash_queue : sig ... end
val (>=) : Stable.Latest.t -> Stable.Latest.t -> bool
val (<=) : Stable.Latest.t -> Stable.Latest.t -> bool
val (=) : Stable.Latest.t -> Stable.Latest.t -> bool
val (>) : Stable.Latest.t -> Stable.Latest.t -> bool
val (<) : Stable.Latest.t -> Stable.Latest.t -> bool
val (<>) : Stable.Latest.t -> Stable.Latest.t -> bool
val equal : Stable.Latest.t -> Stable.Latest.t -> bool
val compare : Stable.Latest.t -> Stable.Latest.t -> int
val ascending : Stable.Latest.t -> Stable.Latest.t -> int
val descending : Stable.Latest.t -> Stable.Latest.t -> int
val between : Stable.Latest.t -> low:Stable.Latest.t -> high:Stable.Latest.t -> bool
val clamp : Stable.Latest.t -> min:Stable.Latest.t -> max:Stable.Latest.t -> Stable.Latest.t Base__.Or_error.t
type comparator_witness = Core_kernel__Comparable.Make(Stable.Latest).comparator_witness
val comparator : ( Stable.Latest.t, comparator_witness ) Base__Comparator.comparator
val validate_lbound : min:Stable.Latest.t Base__.Maybe_bound.t -> Stable.Latest.t Base__.Validate.check
val validate_ubound : max:Stable.Latest.t Base__.Maybe_bound.t -> Stable.Latest.t Base__.Validate.check
val validate_bound : min:Stable.Latest.t Base__.Maybe_bound.t -> max:Stable.Latest.t Base__.Maybe_bound.t -> Stable.Latest.t Base__.Validate.check
module Replace_polymorphic_compare : sig ... end
module Map : sig ... end
module Set : sig ... end
type 'command t_ = 'command Poly.t =
| Command of 'command
| Fee_transfer of Mina_base.Fee_transfer.t
| Coinbase of Mina_base.Coinbase.t
val forget : Valid.t -> t
val fee_excess : t -> Mina_base.Fee_excess.t Core_kernel.Or_error.t
val expected_supply_increase : 'a t_ -> ( Currency.Amount.Stable.Latest.t, Core_kernel__.Error.t ) Core_kernel._result
val accounts_accessed : t -> Mina_base.Transaction_status.t -> Mina_base.Account_id.t Core_kernel.List.t
val accounts_referenced : t -> Mina_base.Account_id.t Core_kernel.List.t
val valid_size : genesis_constants:Genesis_constants.t -> t -> ( unit, Core_kernel__.Error.t ) Core_kernel._result