Account_precondition.Checked
type t = Zkapp_precondition.Account.Checked.t
val digest : t -> Random_oracle.Checked.Digest.t
val nonce : t -> Mina_numbers.Account_nonce.Checked.t Mina_wire_types.Mina_base.Zkapp_precondition.Closed_interval.V1.t Zkapp_basic.Or_ignore.Checked.t