Module Tezos_raw_protocol_010_PtGRANAD.Period_reprSource

Sourcetype t
Sourcetype period = t

A period is a non-negative integer.

include Tezos_protocol_environment_010_PtGRANAD.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 equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
Sourceval to_seconds : period -> int64

of_second period fails if period is not positive

Sourceval of_seconds_exn : int64 -> period

of_second period fails if period is not positive. It should only be used at toplevel for constants.

Sourceval zero : period
Sourceval one_second : period
Sourceval one_minute : period
Sourceval one_hour : period
val compare : period -> period -> int

compare x y returns 0 if x is equal to y, a negative integer if x is shorter than y, and a positive integer if x is longer than y.