Checked (mina_base.Mina_base.Account

type t = {

app_state : Pickles.Impls.Step.Field.t Zkapp_basic.Set_or_keep.Checked.t
              Zkapp_state.V.t;

delegate : Signature_lib.Public_key.Compressed.var
             Zkapp_basic.Set_or_keep.Checked.t;

verification_key : ( Pickles.Impls.Step.Boolean.var,
                     ( Side_loaded_verification_key.t option,
                       Pickles.Impls.Step.Field.Constant.t )
                       With_hash.t
                       Data_as_hash.t )
                     Zkapp_basic.Flagged_option.t
                     Zkapp_basic.Set_or_keep.Checked.t;

permissions : Permissions.Checked.t Zkapp_basic.Set_or_keep.Checked.t;

zkapp_uri : string Data_as_hash.t Zkapp_basic.Set_or_keep.Checked.t;

token_symbol : Account.Token_symbol.var Zkapp_basic.Set_or_keep.Checked.t;

timing : Timing_info.Checked.t Zkapp_basic.Set_or_keep.Checked.t;

voting_for : State_hash.var Zkapp_basic.Set_or_keep.Checked.t;

}

val to_hlist : 
  t ->
  ( unit,
    Pickles.Impls.Step.Field.t Zkapp_basic.Set_or_keep.Checked.t
      Zkapp_state.V.t ->
    Signature_lib.Public_key.Compressed.var Zkapp_basic.Set_or_keep.Checked.t ->
    ( Pickles.Impls.Step.Boolean.var,
      ( Side_loaded_verification_key.t option,
        Pickles.Impls.Step.Field.Constant.t )
        With_hash.t
        Data_as_hash.t )
      Zkapp_basic.Flagged_option.t
      Zkapp_basic.Set_or_keep.Checked.t ->
    Permissions.Checked.t Zkapp_basic.Set_or_keep.Checked.t ->
    string Data_as_hash.t Zkapp_basic.Set_or_keep.Checked.t ->
    Account.Token_symbol.var Zkapp_basic.Set_or_keep.Checked.t ->
    Timing_info.Checked.t Zkapp_basic.Set_or_keep.Checked.t ->
    State_hash.var Zkapp_basic.Set_or_keep.Checked.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Pickles.Impls.Step.Field.t Zkapp_basic.Set_or_keep.Checked.t
      Zkapp_state.V.t ->
    Signature_lib.Public_key.Compressed.var Zkapp_basic.Set_or_keep.Checked.t ->
    ( Pickles.Impls.Step.Boolean.var,
      ( Side_loaded_verification_key.t option,
        Pickles.Impls.Step.Field.Constant.t )
        With_hash.t
        Data_as_hash.t )
      Zkapp_basic.Flagged_option.t
      Zkapp_basic.Set_or_keep.Checked.t ->
    Permissions.Checked.t Zkapp_basic.Set_or_keep.Checked.t ->
    string Data_as_hash.t Zkapp_basic.Set_or_keep.Checked.t ->
    Account.Token_symbol.var Zkapp_basic.Set_or_keep.Checked.t ->
    Timing_info.Checked.t Zkapp_basic.Set_or_keep.Checked.t ->
    State_hash.var Zkapp_basic.Set_or_keep.Checked.t ->
    unit )
    H_list.t ->
  t

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