Zkapp_global_slot_bounds (archive_lib.Archive_lib.Processor.Zkapp_global_slot

type t = {

global_slot_lower_bound : int64;

global_slot_upper_bound : int64;

}

val global_slot_upper_bound : t -> int64

val global_slot_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) ->
  Mina_numbers.Global_slot.t 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