Constants (consensus.Consensus.Constants)

module Length = Mina_numbers.Length

module Poly : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t

val compare : t -> t -> Ppx_deriving_runtime.int

val to_yojson : t -> Yojson.Safe.t

val _ : t -> Yojson.Safe.t

val equal : t -> t -> bool

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

type var =
  ( Length.Checked.t, Block_time.Checked.t, Block_time.Span.Checked.t ) Poly.t

module type M_intf = sig ... end

module Constants_UInt32 : 
  M_intf
    with type length = Length.t
     and type time = Block_time.t
     and type timespan = Block_time.Span.t

module N : sig ... end

module Constants_checked : 
  M_intf
    with type length = Length.Checked.t
     and type time = Block_time.Checked.t
     and type timespan = Block_time.Span.Checked.t

val create' : 
  (module M_intf
    with type length = 'a
     and type time = 'b
     and type timespan = 'c) ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  protocol_constants:( 'a0, 'a1, 'b0 ) Genesis_constants.Protocol.Poly.t ->
  ( 'a2, 'b1, 'c0 ) Poly.t

val create : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  protocol_constants:Genesis_constants.Protocol.t ->
  t

val for_unit_tests : t lazy_t

val to_protocol_constants : 
  ( 'a, 'b, 'c ) Poly.t ->
  ( 'd, 'e, 'f ) Mina_base.Protocol_constants_checked.Poly.t

val typ : 
  ( ( Length.Checked.t, Block_time.Checked.t, Block_time.Span.Checked.t )
      Poly.t,
    ( Mina_wire_types.Mina_numbers.Length.V1.t,
      Block_time.Stable.Latest.t,
      Block_time.Span.Stable.V1.t )
      Poly.t )
    Snark_params.Tick.Typ.t

val to_input : t -> Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

val gc_parameters : 
  t ->
  [> `Acceptable_network_delay of Unsigned.UInt32.t ]
  * [> `Gc_width of Unsigned.UInt32.t ]
  * [> `Gc_width_epoch of Unsigned.UInt32.t ]
  * [> `Gc_width_slot of Unsigned.UInt32.t ]
  * [> `Gc_interval of Unsigned.UInt32.t ]

module Checked : sig ... end