Module Processor.Zkapp_states
type t = {
element0 : int; |
element1 : int; |
element2 : int; |
element3 : int; |
element4 : int; |
element5 : int; |
element6 : int; |
element7 : int; |
}
val to_hlist :
t ->
( unit, int -> int -> int -> int -> int -> int -> int -> int -> unit )
H_list.t
val of_hlist :
( unit, int -> int -> int -> int -> int -> int -> int -> int -> unit )
H_list.t ->
t
val load :
(module Caqti_async.CONNECTION) ->
int ->
( t, [> Caqti_error.call_or_retrieve ] ) Stdlib.result
Async_kernel.Deferred.t