Poly (genesis_constants.Genesis_constants.Protocol.Poly)

module Stable : sig ... end

type ('length, 'delta, 'genesis_state_timestamp) t =
  ( 'length, 'delta, 'genesis_state_timestamp ) Stable.Latest.t =
  {

k : 'length;

slots_per_epoch : 'length;

slots_per_sub_window : 'length;

delta : 'delta;

genesis_state_timestamp : 'genesis_state_timestamp;

}

val compare : 
  'length 'delta 'genesis_state_timestamp. ( 'length ->
                                             'length ->
                                             Ppx_deriving_runtime.int ) ->
  ( 'delta -> 'delta -> Ppx_deriving_runtime.int ) ->
  ( 'genesis_state_timestamp ->
    'genesis_state_timestamp ->
    Ppx_deriving_runtime.int ) ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  Ppx_deriving_runtime.int

val to_yojson : 
  'length 'delta 'genesis_state_timestamp. ( 'length -> Yojson.Safe.t ) ->
  ( 'delta -> Yojson.Safe.t ) ->
  ( 'genesis_state_timestamp -> Yojson.Safe.t ) ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  Yojson.Safe.t

val of_yojson : 
  'length 'delta 'genesis_state_timestamp. ( Yojson.Safe.t ->
                                             'length
                                               Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'delta Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t ->
    'genesis_state_timestamp Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t
    Ppx_deriving_yojson_runtime.error_or

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

val equal : 
  'length 'delta 'genesis_state_timestamp. ( 'length -> 'length -> bool ) ->
  ( 'delta -> 'delta -> bool ) ->
  ( 'genesis_state_timestamp -> 'genesis_state_timestamp -> bool ) ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  bool

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

val t_of_sexp : 
  'length 'delta 'genesis_state_timestamp. ( Ppx_sexp_conv_lib.Sexp.t ->
                                             'length ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'delta ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'genesis_state_timestamp ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t

val sexp_of_t : 
  'length 'delta 'genesis_state_timestamp. ( 'length ->
                                             Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'delta -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'genesis_state_timestamp -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val to_hlist : 
  ( 'length, 'delta, 'genesis_state_timestamp ) t ->
  ( unit,
    'length ->
    'length ->
    'length ->
    'delta ->
    'genesis_state_timestamp ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    'length ->
    'length ->
    'length ->
    'delta ->
    'genesis_state_timestamp ->
    unit )
    H_list.t ->
  ( 'length, 'delta, 'genesis_state_timestamp ) t

val genesis_state_timestamp : ( 'a, 'b, 'c ) t -> 'd

val delta : ( 'a, 'b, 'c ) t -> 'd

val slots_per_sub_window : ( 'a, 'b, 'c ) t -> 'd

val slots_per_epoch : ( 'a, 'b, 'c ) t -> 'd

val k : ( 'a, 'b, 'c ) t -> 'd

module Fields : sig ... end