package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val zero : t
val succ : t -> t
val pred : t -> (t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val to_int32 : t -> int32
val of_int32 : int32 -> (t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val of_int : int -> (t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val to_int : t -> (int, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val to_slot : t -> committee_size:int -> (Slot.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val pp : Format.formatter -> t -> unit
val encoding : t Data_encoding.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 : sig ... end
type round_durations
val pp_round_durations : Format.formatter -> round_durations -> unit
val round_durations_encoding : round_durations Data_encoding.t
val round_duration : round_durations -> t -> Period.t
module Durations : sig ... end
val level_offset_of_round : round_durations -> round:t -> (Period.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val timestamp_of_round : round_durations -> predecessor_timestamp:Tezos_base.Time.Protocol.t -> predecessor_round:t -> round:t -> (Tezos_base.Time.Protocol.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val timestamp_of_another_round_same_level : round_durations -> current_timestamp:Tezos_base.Time.Protocol.t -> current_round:t -> considered_round:t -> (Tezos_base.Time.Protocol.t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val round_of_timestamp : round_durations -> predecessor_timestamp:Tezos_base.Time.Protocol.t -> predecessor_round:t -> timestamp:Tezos_base.Time.Protocol.t -> (t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result
val get : context -> (t, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
val update : context -> t -> (context, Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t