Poly (consensus.Consensus.Proof_of_stake.Exported.Global

module Stable : sig ... end

type ('slot_number, 'slots_per_epoch) t =
  ( 'slot_number, 'slots_per_epoch ) Stable.Latest.t

val to_yojson : 
  ( 'slot_number -> Yojson.Safe.t ) ->
  ( 'slots_per_epoch -> Yojson.Safe.t ) ->
  ( 'slot_number, 'slots_per_epoch ) t ->
  Yojson.Safe.t

val of_yojson : 
  ( Yojson.Safe.t -> 'slot_number Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'slots_per_epoch Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'slot_number, 'slots_per_epoch ) t Ppx_deriving_yojson_runtime.error_or

include Ppx_sexp_conv_lib.Sexpable.S2
  with type ('slot_number, 'slots_per_epoch) t :=
         ( 'slot_number, 'slots_per_epoch ) t

val t_of_sexp : 
  ( Sexplib0__.Sexp.t -> 'a ) ->
  ( Sexplib0__.Sexp.t -> 'b ) ->
  Sexplib0__.Sexp.t ->
  ( 'a, 'b ) t

val sexp_of_t : 
  ( 'a -> Sexplib0__.Sexp.t ) ->
  ( 'b -> Sexplib0__.Sexp.t ) ->
  ( 'a, 'b ) t ->
  Sexplib0__.Sexp.t

val equal : 
  ( 'slot_number -> 'slot_number -> bool ) ->
  ( 'slots_per_epoch -> 'slots_per_epoch -> bool ) ->
  ( 'slot_number, 'slots_per_epoch ) t ->
  ( 'slot_number, 'slots_per_epoch ) t ->
  bool

val compare : 
  ( 'slot_number -> 'slot_number -> int ) ->
  ( 'slots_per_epoch -> 'slots_per_epoch -> int ) ->
  ( 'slot_number, 'slots_per_epoch ) t ->
  ( 'slot_number, 'slots_per_epoch ) t ->
  int

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state ->
    'slot_number ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'slots_per_epoch ->
    Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'slot_number, 'slots_per_epoch ) t ->
  Ppx_hash_lib.Std.Hash.state