Checked (mina_base.Mina_base.Zkapp_precondition.Account.Checked)

type t = {

balance : Currency.Balance.var Numeric.Checked.t;

nonce : Mina_numbers.Account_nonce.Checked.t Numeric.Checked.t;

receipt_chain_hash : Receipt.Chain_hash.var Hash.Checked.t;

delegate : Signature_lib.Public_key.Compressed.var Eq_data.Checked.t;

state : Snark_params.Tick.Field.Var.t Eq_data.Checked.t Zkapp_state.V.t;

sequence_state : Snark_params.Tick.Field.Var.t Eq_data.Checked.t;

proved_state : Snark_params.Tick.Boolean.var Eq_data.Checked.t;

is_new : Snark_params.Tick.Boolean.var Eq_data.Checked.t;

}

val to_hlist : 
  t ->
  ( unit,
    Currency.Balance.var Numeric.Checked.t ->
    Mina_numbers.Account_nonce.Checked.t Numeric.Checked.t ->
    Receipt.Chain_hash.var Hash.Checked.t ->
    Signature_lib.Public_key.Compressed.var Eq_data.Checked.t ->
    Snark_params.Tick.Field.Var.t Eq_data.Checked.t Zkapp_state.V.t ->
    Snark_params.Tick.Field.Var.t Eq_data.Checked.t ->
    Snark_params.Tick.Boolean.var Eq_data.Checked.t ->
    Snark_params.Tick.Boolean.var Eq_data.Checked.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Currency.Balance.var Numeric.Checked.t ->
    Mina_numbers.Account_nonce.Checked.t Numeric.Checked.t ->
    Receipt.Chain_hash.var Hash.Checked.t ->
    Signature_lib.Public_key.Compressed.var Eq_data.Checked.t ->
    Snark_params.Tick.Field.Var.t Eq_data.Checked.t Zkapp_state.V.t ->
    Snark_params.Tick.Field.Var.t Eq_data.Checked.t ->
    Snark_params.Tick.Boolean.var Eq_data.Checked.t ->
    Snark_params.Tick.Boolean.var Eq_data.Checked.t ->
    unit )
    H_list.t ->
  t

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t

val checks : 
  new_account:Snark_params.Tick.Boolean.var ->
  t ->
  Account.Checked.Unhashed.t ->
  (Transaction_status.Failure.t * Snark_params.Tick.Boolean.var) Base__List.t

val check : 
  new_account:Snark_params.Tick.Boolean.var ->
  check:
    ( Transaction_status.Failure.t -> Snark_params.Tick.Boolean.var -> unit ) ->
  t ->
  Account.Checked.Unhashed.t ->
  unit

val digest : t -> Random_oracle.Checked.Digest.t