Module `Alpha_context.Round`Source

Sourcetype t

Sourceval zero : t

Sourceval succ : t -> t

Sourceval pred : t -> t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult

Sourceval to_int32 : t -> int32

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

Source

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

Source

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

Source

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

Sourceval pp : Tezos_protocol_environment_013_PtJakart.Format.formatter -> t -> unit

Sourceval encoding : t Tezos_protocol_environment_013_PtJakart.Data_encoding.t

include Tezos_protocol_environment_013_PtJakart.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

Sourcemodule Map : Tezos_protocol_environment_013_PtJakart.Map.S with type key = t

Sourcetype round_durations

Source

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

Source

val round_durations_encoding : 
  round_durations Tezos_protocol_environment_013_PtJakart.Data_encoding.t

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

Sourcemodule Durations : sig ... end

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Alpha_context/Round/index.html

Module `Alpha_context.Round`Source

package tezos-protocol-013-PtJakart

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Alpha_context/Round/index.html

Module Alpha_context.RoundSource

Module `Alpha_context.Round`Source