Checked (mina_base.Mina_base.Account

module Type_of_var (V : sig ... end) : sig ... end

module Int_as_prover_ref : sig ... end

type t = {

public_key : Signature_lib.Public_key.Compressed.var;

token_id : Token_id.Checked.t;

update : Update.Checked.t;

balance_change : Currency.Amount.Signed.var;

increment_nonce : Snark_params.Tick.Boolean.var;

events : Events.var;

sequence_events : Sequence_events.var;

call_data : Snark_params.Tick.Field.Var.t;

preconditions : Preconditions.Checked.t;

use_full_commitment : Snark_params.Tick.Boolean.var;

caller : Token_id.Checked.t;

authorization_kind : Authorization_kind.Checked.t;

}

val t_fields_annots : string -> (string * string option) list

val t_toplevel_annots : unit -> (string * string option) list

val to_hlist : 
  t ->
  ( unit,
    Signature_lib.Public_key.Compressed.var ->
    Token_id.Checked.t ->
    Update.Checked.t ->
    Currency.Amount.Signed.var ->
    Snark_params.Tick.Boolean.var ->
    Events.var ->
    Sequence_events.var ->
    Snark_params.Tick.Field.Var.t ->
    Preconditions.Checked.t ->
    Snark_params.Tick.Boolean.var ->
    Token_id.Checked.t ->
    Authorization_kind.Checked.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Signature_lib.Public_key.Compressed.var ->
    Token_id.Checked.t ->
    Update.Checked.t ->
    Currency.Amount.Signed.var ->
    Snark_params.Tick.Boolean.var ->
    Events.var ->
    Sequence_events.var ->
    Snark_params.Tick.Field.Var.t ->
    Preconditions.Checked.t ->
    Snark_params.Tick.Boolean.var ->
    Token_id.Checked.t ->
    Authorization_kind.Checked.t ->
    unit )
    H_list.t ->
  t

val authorization_kind : t -> Authorization_kind.Checked.t

val caller : t -> Token_id.Checked.t

val use_full_commitment : t -> Snark_params.Tick.Boolean.var

val preconditions : t -> Preconditions.Checked.t

val call_data : t -> Snark_params.Tick.Field.Var.t

val sequence_events : t -> Sequence_events.var

val events : t -> Events.var

val increment_nonce : t -> Snark_params.Tick.Boolean.var

val balance_change : t -> Currency.Amount.Signed.var

val update : t -> Update.Checked.t

val token_id : t -> Token_id.Checked.t

val public_key : t -> Signature_lib.Public_key.Compressed.var

module Fields : sig ... end

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

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