Genesis_constants (genesis_constants.Genesis

module Proof_level : sig ... end

module Fork_constants : sig ... end

module Constraint_constants : sig ... end

Constants that affect the constraint systems for proofs (and thus also key generation).

val genesis_timestamp_of_string : 
  Core_kernel__.Import.string ->
  Core_kernel.Time.t

val of_time : Core_kernel.Time.t -> Core_kernel.Int64.t

val validate_time : 
  Core_kernel__.Import.string option ->
  ( Core_kernel.Int64.t, string ) Core_kernel._result

val genesis_timestamp_to_string : 
  Core_kernel.Int64.t ->
  Core_kernel__.Import.string

module Protocol : sig ... end

module T : sig ... end

include module type of struct include T end

type t = T.t = {

protocol : Protocol.Stable.Latest.t;

txpool_max_size : int;

num_accounts : int option;

zkapp_proof_update_cost : float;

zkapp_signed_single_update_cost : float;

zkapp_signed_pair_update_cost : float;

zkapp_transaction_cost_limit : float;

max_event_elements : int;

max_sequence_event_elements : int;

}

val to_yojson : t -> Yojson.Safe.t

val _ : t -> Yojson.Safe.t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val bin_shape_t : Core_kernel.Bin_prot.Shape.t

val __bin_read_t__ : ( int -> t ) Core_kernel.Bin_prot.Read.reader

val bin_read_t : t Core_kernel.Bin_prot.Read.reader

val bin_reader_t : t Core_kernel.Bin_prot.Type_class.reader

val bin_size_t : t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : t Core_kernel.Bin_prot.Type_class.writer

val bin_t : t Core_kernel.Bin_prot.Type_class.t

val hash : t -> string

val genesis_state_timestamp_string : string

val k : int

val slots_per_epoch : int

val slots_per_sub_window : int

val delta : int

val pool_max_size : int

val compiled : t

val for_unit_tests : t