Transaction_commitment (mina_transaction_logic.Mina_transaction_logic.Zkapp_command_logic.Make.1-Inputs.Transaction

include Iffable
  with type bool := Bool.t
   and type t = Account_update.transaction_commitment

type t = Account_update.transaction_commitment

val if_ : Bool.t -> then_:t -> else_:t -> t

val empty : t

val commitment : account_updates:Call_forest.t -> t

val full_commitment : 
  account_update:Account_update.t ->
  memo_hash:Field.t ->
  commitment:t ->
  t