Zkapp_account_precondition (archive_lib.Archive_lib.Processor.Zkapp_account

type t = {

kind : Mina_base.Account_update.Account_precondition.Tag.t;

account_precondition_values_id : int option;

nonce : int64 option;

}

val nonce : t -> int64 option

val account_precondition_values_id : t -> int option

val kind : t -> Mina_base.Account_update.Account_precondition.Tag.t

module Fields : sig ... end

val to_hlist : 
  t ->
  ( unit,
    Mina_base.Account_update.Account_precondition.Tag.t ->
    int option ->
    int64 option ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Mina_base.Account_update.Account_precondition.Tag.t ->
    int option ->
    int64 option ->
    unit )
    H_list.t ->
  t

val zkapp_account_precondition_kind_typ : 
  Mina_base.Account_update.Account_precondition.Tag.t Caqti_type.t

val typ : t Caqti_type.t

val table_name : string

val add_if_doesn't_exist : 
  (module Caqti_async.CONNECTION) ->
  Mina_base.Account_update.Account_precondition.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