Module Processor.Zkapp_account

type t = {
app_state_id : int;
verification_key_id : int option;
zkapp_version : int64;
sequence_state_id : int;
last_sequence_slot : int64;
proved_state : bool;
zkapp_uri_id : int;
}
val zkapp_uri_id : t -> int
val proved_state : t -> bool
val last_sequence_slot : t -> int64
val sequence_state_id : t -> int
val zkapp_version : t -> int64
val verification_key_id : t -> int option
val app_state_id : t -> int
module Fields : sig ... end
val to_hlist : t -> ( unit, int -> int option -> int64 -> int -> int64 -> bool -> int -> unit ) H_list.t
val of_hlist : ( unit, int -> int option -> int64 -> int -> int64 -> bool -> int -> 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_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