Mavryk_raw_protocol_001_PtAtLas.Cycle_reprThis module provides a type and functions to manipulate cycle numbers.
Invariant: cycle numbers are always positive.
type cycle = tinclude Mavryk_protocol_environment_001_PtAtLas.Compare.S with type t := tval encoding : cycle Mavryk_protocol_environment_001_PtAtLas.Data_encoding.tval rpc_arg : cycle Mavryk_protocol_environment_001_PtAtLas.RPC_arg.argval pp :
Mavryk_protocol_environment_001_PtAtLas.Format.formatter ->
cycle ->
unitval root : cycleval to_int32 : cycle -> int32val of_int32_exn : int32 -> cycleval of_string_exn : string -> cyclemodule Map :
Mavryk_protocol_environment_001_PtAtLas.Map.S with type key = cyclemodule Index : Storage_description.INDEX with type t = cycle