Zkapp_network_precondition (archive_lib.Archive_lib.Processor.Zkapp_network

type t = {

snarked_ledger_hash_id : int option;

blockchain_length_id : int option;

min_window_density_id : int option;

total_currency_id : int option;

global_slot_since_genesis : int option;

staking_epoch_data_id : int;

next_epoch_data_id : int;

}

val next_epoch_data_id : t -> int

val staking_epoch_data_id : t -> int

val global_slot_since_genesis : t -> int option

val total_currency_id : t -> int option

val min_window_density_id : t -> int option

val blockchain_length_id : t -> int option

val snarked_ledger_hash_id : t -> int option

module Fields : sig ... end

val to_hlist : 
  t ->
  ( unit,
    int option ->
    int option ->
    int option ->
    int option ->
    int option ->
    int ->
    int ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    int option ->
    int option ->
    int option ->
    int option ->
    int option ->
    int ->
    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_precondition.Protocol_state.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