tezos-protocol-016-PtMumbai.raw
Tezos_raw_protocol_016_PtMumbai.Cycle_repr
This module provides a type and functions to manipulate cycle numbers.
Invariant: cycle numbers are always positive.
tezos-protocol-016-PtMumbai
tezos-protocol-016-PtMumbai.environment
tezos-protocol-016-PtMumbai.lifted
tezos-protocol-016-PtMumbai.parameters
type t
type cycle = t
include Tezos_protocol_environment_016_PtMumbai.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
val encoding : cycle Tezos_protocol_environment_016_PtMumbai.Data_encoding.t
val rpc_arg : cycle Tezos_protocol_environment_016_PtMumbai.RPC_arg.arg
val pp : Tezos_protocol_environment_016_PtMumbai.Format.formatter -> cycle -> unit
val root : cycle
val pred : cycle -> cycle option
val add : cycle -> int -> cycle
val sub : cycle -> int -> cycle option
val succ : cycle -> cycle
val diff : cycle -> cycle -> int32
val (--->) : cycle -> cycle -> cycle list
a ---> b = a; ...; b
a; ...; b
val to_int32 : cycle -> int32
val of_int32_exn : int32 -> cycle
val of_string_exn : string -> cycle
module Map : Tezos_protocol_environment_016_PtMumbai.Map.S with type key = cycle
module Index : Storage_description.INDEX with type t = cycle