Round (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Alpha

type t

val zero : t

val succ : t -> t

val pred : t -> t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val to_int32 : t -> int32

val of_int32 : 
  int32 ->
  t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val of_int : 
  int ->
  t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val to_int : 
  t ->
  int Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val to_slot : 
  t ->
  committee_size:int ->
  Slot.t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val pp : Mavryk_protocol_environment_001_PtAtLas.Format.formatter -> t -> unit

val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

include Mavryk_protocol_environment_001_PtAtLas.Compare.S with type t := t

val (=) : t -> t -> bool

val (<>) : t -> t -> bool

val (<) : t -> t -> bool

val (<=) : t -> t -> bool

val (>=) : t -> t -> bool

val (>) : t -> t -> bool

val compare : t -> t -> int

val equal : t -> t -> bool

val max : t -> t -> t

val min : t -> t -> t

module Map : Mavryk_protocol_environment_001_PtAtLas.Map.S with type key = t

type round_durations

See Round_repr.Durations.t.

val pp_round_durations : 
  Mavryk_protocol_environment_001_PtAtLas.Format.formatter ->
  round_durations ->
  unit

See Round_repr.Durations.pp.

val round_durations_encoding : 
  round_durations Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

See Round_repr.Durations.encoding.

val round_duration : round_durations -> t -> Period.t

See Round_repr.Durations.round_duration.

module Durations : sig ... end

val level_offset_of_round : 
  round_durations ->
  round:t ->
  Period.t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val timestamp_of_round : 
  round_durations ->
  predecessor_timestamp:Mavryk_protocol_environment_001_PtAtLas.Time.t ->
  predecessor_round:t ->
  round:t ->
  Mavryk_protocol_environment_001_PtAtLas.Time.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val timestamp_of_another_round_same_level : 
  round_durations ->
  current_timestamp:Mavryk_protocol_environment_001_PtAtLas.Time.t ->
  current_round:t ->
  considered_round:t ->
  Mavryk_protocol_environment_001_PtAtLas.Time.t
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val round_of_timestamp : 
  round_durations ->
  predecessor_timestamp:Mavryk_protocol_environment_001_PtAtLas.Time.t ->
  predecessor_round:t ->
  timestamp:Mavryk_protocol_environment_001_PtAtLas.Time.t ->
  t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val get : 
  context ->
  t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val update : 
  context ->
  t ->
  context Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t