Checked (mina_base.Mina_base.Zkapp_command.Transaction

type t = Pickles.Impls.Step.Field.t

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

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