Zkapp_account_precondition_values (archive_lib.Archive_lib.Processor.Zkapp_account_precondition

type t = {

balance_id : int option;

nonce_id : int option;

receipt_chain_hash : string option;

delegate_id : int option;

state_id : int;

sequence_state_id : int option;

proved_state : bool option;

is_new : bool option;

}

val is_new : t -> bool option

val proved_state : t -> bool option

val sequence_state_id : t -> int option

val state_id : t -> int

val delegate_id : t -> int option

val receipt_chain_hash : t -> string option

val nonce_id : t -> int option

val balance_id : t -> int option

module Fields : sig ... end

val to_hlist : 
  t ->
  ( unit,
    int option ->
    int option ->
    string option ->
    int option ->
    int ->
    int option ->
    bool option ->
    bool option ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    int option ->
    int option ->
    string option ->
    int option ->
    int ->
    int option ->
    bool option ->
    bool option ->
    unit )
    H_list.t ->
  t

val typ : t Caqti_type.t

val table_name : string

val add_if_doesn't_exist : 
  (module Caqti_async.CONNECTION) ->
  Mina_base.Zkapp_precondition.Account.t ->
  ( int, [> Caqti_error.call_or_retrieve ] ) Async_kernel__Deferred_result.t

val load : 
  (module Caqti_async.CONNECTION) ->
  int ->
  ( t, [> Caqti_error.call_or_retrieve ] ) Stdlib.result
    Async_kernel.Deferred.t