Account (mina_base.Mina_base.Zkapp

module Stable : sig ... end

type t = Stable.Latest.t = {

balance : Currency.Balance.t Numeric.t;

nonce : Mina_numbers.Account_nonce.t Numeric.t;

receipt_chain_hash : Receipt.Chain_hash.t Hash.t;

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

state : Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t;

sequence_state : Zkapp_basic.F.t Eq_data.t;

proved_state : bool Eq_data.t;

is_new : bool Eq_data.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 to_hlist : 
  t ->
  ( unit,
    Currency.Balance.t Numeric.t ->
    Mina_numbers.Account_nonce.t Numeric.t ->
    Receipt.Chain_hash.t Hash.t ->
    Signature_lib.Public_key.Compressed.t Eq_data.t ->
    Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ->
    Zkapp_basic.F.t Eq_data.t ->
    bool Eq_data.t ->
    bool Eq_data.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Currency.Balance.t Numeric.t ->
    Mina_numbers.Account_nonce.t Numeric.t ->
    Receipt.Chain_hash.t Hash.t ->
    Signature_lib.Public_key.Compressed.t Eq_data.t ->
    Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ->
    Zkapp_basic.F.t Eq_data.t ->
    bool Eq_data.t ->
    bool Eq_data.t ->
    unit )
    H_list.t ->
  t

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val equal : t -> t -> bool

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 compare : t -> t -> int

val is_new : t -> bool Eq_data.t

val proved_state : t -> bool Eq_data.t

val sequence_state : t -> Zkapp_basic.F.t Eq_data.t

val state : t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t

val delegate : t -> Signature_lib.Public_key.Compressed.t Eq_data.t

val receipt_chain_hash : t -> Receipt.Chain_hash.t Hash.t

val nonce : t -> Mina_numbers.Account_nonce.t Numeric.t

val balance : t -> Currency.Balance.t Numeric.t

module Fields : sig ... end

val gen : t Core_kernel.Quickcheck.Generator.t

val accept : t

val is_accept : t -> bool

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

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

val digest : t -> Random_oracle.Digest.t

module Checked : sig ... end

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

val checks : 
  new_account:Core_kernel.Bool.t ->
  t ->
  Account.t ->
  (Transaction_status.Failure.t
   * ( unit, Core_kernel__.Error.t ) Core_kernel._result)
    Base__List.t

val check : 
  new_account:Core_kernel.Bool.t ->
  check:( Transaction_status.Failure.t -> bool -> unit ) ->
  t ->
  Account.t ->
  unit