Poly (consensus.Consensus.Constants.Poly)

module Stable : sig ... end

type ('length, 'time, 'timespan) t =
  ( 'length, 'time, 'timespan ) Stable.Latest.t =
  {

k : 'length;

delta : 'length;

slots_per_sub_window : 'length;

slots_per_window : 'length;

sub_windows_per_window : 'length;

slots_per_epoch : 'length;

grace_period_end : 'length;

checkpoint_window_slots_per_year : 'length;

checkpoint_window_size_in_slots : 'length;

block_window_duration_ms : 'timespan;

slot_duration_ms : 'timespan;

epoch_duration : 'timespan;

delta_duration : 'timespan;

genesis_state_timestamp : 'time;

}

val to_yojson : 
  'length 'time 'timespan. ( 'length -> Yojson.Safe.t ) ->
  ( 'time -> Yojson.Safe.t ) ->
  ( 'timespan -> Yojson.Safe.t ) ->
  ( 'length, 'time, 'timespan ) t ->
  Yojson.Safe.t

val _ : 
  ( 'a -> Yojson.Safe.t ) ->
  ( 'b -> Yojson.Safe.t ) ->
  ( 'c -> Yojson.Safe.t ) ->
  ( 'a, 'b, 'c ) t ->
  Yojson.Safe.t

val equal : 
  'length 'time 'timespan. ( 'length -> 'length -> bool ) ->
  ( 'time -> 'time -> bool ) ->
  ( 'timespan -> 'timespan -> bool ) ->
  ( 'length, 'time, 'timespan ) t ->
  ( 'length, 'time, 'timespan ) t ->
  bool

val compare : 
  'length 'time 'timespan. ( 'length -> 'length -> int ) ->
  ( 'time -> 'time -> int ) ->
  ( 'timespan -> 'timespan -> int ) ->
  ( 'length, 'time, 'timespan ) t ->
  ( 'length, 'time, 'timespan ) t ->
  int

val hash_fold_t : 
  'length 'time 'timespan. ( Ppx_hash_lib.Std.Hash.state ->
                             'length ->
                             Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'time -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'timespan -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'length, 'time, 'timespan ) t ->
  Ppx_hash_lib.Std.Hash.state

val t_of_sexp : 
  'length 'time 'timespan. ( Ppx_sexp_conv_lib.Sexp.t -> 'length ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'time ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'timespan ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'length, 'time, 'timespan ) t

val sexp_of_t : 
  'length 'time 'timespan. ( 'length -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'time -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'timespan -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'length, 'time, 'timespan ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val to_hlist : 
  ( 'length, 'time, 'timespan ) t ->
  ( unit,
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'timespan ->
    'timespan ->
    'timespan ->
    'timespan ->
    'time ->
    unit )
    Snarky_backendless.H_list.t

val of_hlist : 
  ( unit,
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'length ->
    'timespan ->
    'timespan ->
    'timespan ->
    'timespan ->
    'time ->
    unit )
    Snarky_backendless.H_list.t ->
  ( 'length, 'time, 'timespan ) t