tezos-protocol-006-PsCARTHA.raw
Tezos_raw_protocol_006_PsCARTHA.Cycle_repr
tezos-protocol-006-PsCARTHA
tezos-protocol-006-PsCARTHA.environment
tezos-protocol-006-PsCARTHA.lifted
type t
type cycle = t
include Tezos_protocol_environment_006_PsCARTHA.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_006_PsCARTHA.Data_encoding.t
val rpc_arg : cycle Tezos_protocol_environment_006_PsCARTHA.RPC_arg.arg
val pp : Tezos_protocol_environment_006_PsCARTHA.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 to_int32 : cycle -> int32
val of_int32_exn : int32 -> cycle
module Map : Tezos_protocol_environment_006_PsCARTHA.S.MAP with type key = cycle
module Index : Storage_description.INDEX with type t = cycle