Transaction_commitment (mina_base.Mina_base.Zkapp_command.Transaction

module Stable = Kimchi_backend.Pasta.Basic.Fp.Stable

type t = Stable.Latest.t

val sexp_of_t : Stable.Latest.t -> Sexplib0__.Sexp.t

val t_of_sexp : Sexplib0__.Sexp.t -> Stable.Latest.t

val empty : Snark_params.Tick.Field.t

val typ : 
  ( Snark_params.Tick.Field.Var.t,
    Snark_params.Tick.Field.t,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t

val create : account_updates_hash:Digest.Forest.t -> t

val create_complete : 
  t ->
  memo_hash:Pickles.Impls.Step.Internal_Basic.Field.t ->
  fee_payer_hash:Digest.Account_update.t ->
  Random_oracle.Digest.t

module Checked : sig ... end