Module 1-Inputs.Account_update

type t
type call_forest
type transaction_commitment
type _ or_ignore
val balance_change : t -> Amount.Signed.t
val protocol_state_precondition : t -> Protocol_state_precondition.t
val public_key : t -> Public_key.t
val token_id : t -> Token_id.t
val account_id : t -> Account_id.t
val caller : t -> Token_id.t
val use_full_commitment : t -> Bool.t
val increment_nonce : t -> Bool.t
val check_authorization : commitment:transaction_commitment -> calls:call_forest -> t -> [ `Proof_verifies of Bool.t ] * [ `Signature_verifies of Bool.t ]
val is_signed : t -> Bool.t
val is_proved : t -> Bool.t
module Update : sig ... end
module Account_precondition : sig ... end