Module Mavryk_raw_protocol_alpha.Cycle_repr

This module provides a type and functions to manipulate cycle numbers.

Invariant: cycle numbers are always positive.

type t
type cycle = t
include Mavryk_protocol_environment_alpha.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 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

val to_int32 : cycle -> int32
val of_int32_exn : int32 -> cycle
val of_string_exn : string -> cycle
module Index : Storage_description.INDEX with type t = cycle