Module Processor.Zkapp_length_bounds

type t = {
length_lower_bound : int64;
length_upper_bound : int64;
}
val length_upper_bound : t -> int64
val length_lower_bound : t -> int64
module Fields : sig ... end
val to_hlist : t -> ( unit, int64 -> int64 -> unit ) H_list.t
val of_hlist : ( unit, int64 -> int64 -> 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) -> Unsigned.uint32 Mina_base.Zkapp_precondition.Closed_interval.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