Update (mina_base.Mina_base.Account

module Timing_info : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t = {

app_state : Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t;

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

verification_key : ( Side_loaded_verification_key.t, Zkapp_basic.F.t )
                     With_hash.t
                     Zkapp_basic.Set_or_keep.t;

permissions : Permissions.t Zkapp_basic.Set_or_keep.t;

zkapp_uri : string Zkapp_basic.Set_or_keep.t;

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

timing : Timing_info.t Zkapp_basic.Set_or_keep.t;

voting_for : State_hash.t Zkapp_basic.Set_or_keep.t;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

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

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

val compare : t -> t -> int

val equal : t -> t -> bool

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val voting_for : t -> State_hash.t Zkapp_basic.Set_or_keep.t

val timing : t -> Timing_info.t Zkapp_basic.Set_or_keep.t

val token_symbol : t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t

val zkapp_uri : t -> string Zkapp_basic.Set_or_keep.t

val permissions : t -> Permissions.t Zkapp_basic.Set_or_keep.t

val verification_key : 
  t ->
  ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t
    Zkapp_basic.Set_or_keep.t

val delegate : 
  t ->
  Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t

val app_state : t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t

module Fields : sig ... end

val to_hlist : 
  t ->
  ( unit,
    Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ->
    Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ->
    ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t
      Zkapp_basic.Set_or_keep.t ->
    Permissions.t Zkapp_basic.Set_or_keep.t ->
    string Zkapp_basic.Set_or_keep.t ->
    Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ->
    Timing_info.t Zkapp_basic.Set_or_keep.t ->
    State_hash.t Zkapp_basic.Set_or_keep.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ->
    Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ->
    ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t
      Zkapp_basic.Set_or_keep.t ->
    Permissions.t Zkapp_basic.Set_or_keep.t ->
    string Zkapp_basic.Set_or_keep.t ->
    Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ->
    Timing_info.t Zkapp_basic.Set_or_keep.t ->
    State_hash.t Zkapp_basic.Set_or_keep.t ->
    unit )
    H_list.t ->
  t

val gen : 
  ?token_account:bool ->
  ?zkapp_account:bool ->
  ?vk:
    ( Pickles.Side_loaded.Verification_key.t, Random_oracle.Digest.t )
      With_hash.t ->
  ?permissions_auth:Control.Tag.t ->
  unit ->
  t Core_kernel.Quickcheck.Generator.t

module Checked : sig ... end

val noop : t

val dummy : t

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

val typ : unit -> ( Checked.t, t ) Snark_params.Tick.Typ.t

val deriver : 
  ( t,
    ( ( < contramap : ( t -> t ) Core_kernel.ref
        ; graphql_arg : 
          ( unit ->
            t Fields_derivers_graphql.Schema.Arg.arg_typ )
            Core_kernel.ref
        ; graphql_arg_accumulator : 
          t Fields_derivers_zkapps.Graphql.Args.Acc.T.t Core_kernel.ref
        ; graphql_creator : 
          ( ( ( 'b, t, t, 'c ) Fields_derivers_zkapps.Graphql.Args.Output.t,
              t,
              t,
              'c )
              Fields_derivers_zkapps.Graphql.Args.Input.t ->
            t )
            Core_kernel.ref
        ; graphql_fields : 
          t Fields_derivers_zkapps.Graphql.Fields.Input.T.t Core_kernel.ref
        ; graphql_fields_accumulator : 
          t Fields_derivers_zkapps.Graphql.Fields.Accumulator.T.t list
            Core_kernel.ref
        ; graphql_query : string option Core_kernel.ref
        ; graphql_query_accumulator : 
          (Core_kernel.String.t * string option) option list Core_kernel.ref
        ; js_layout : 
          [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
        ; js_layout_accumulator : 
          Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
            option
            list
            Core_kernel.ref
        ; map : ( t -> t ) Core_kernel.ref
        ; nullable_graphql_arg : 
          ( unit ->
            'c Fields_derivers_graphql.Schema.Arg.arg_typ )
            Core_kernel.ref
        ; nullable_graphql_fields : 
          t option Fields_derivers_zkapps.Graphql.Fields.Input.T.t
            Core_kernel.ref
        ; of_json : 
          ( [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] ->
            t )
            Core_kernel.ref
        ; of_json_creator : 
          Yojson.Safe.t Core_kernel.String.Map.t Core_kernel.ref
        ; skip : bool Core_kernel.ref
        ; to_json : 
          ( t ->
            [> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ] )
            Core_kernel.ref
        ; to_json_accumulator : 
          (Core_kernel.String.t * ( t -> Yojson.Safe.t )) option list
            Core_kernel.ref.. > as 'a,
        t,
        t,
        'c )
        Fields_derivers_zkapps.Graphql.Args.Input.t,
      t,
      t,
      'd )
      Fields_derivers_zkapps.Graphql.Args.Acc.t,
    t,
    t option )
    Fields_derivers_zkapps.Graphql.Fields.Accumulator.t ->
  ( t,
    ( 'a, t, t, 'c ) Fields_derivers_zkapps.Graphql.Args.Acc.t,
    t,
    t option )
    Fields_derivers_zkapps.Graphql.Fields.Accumulator.t