Constants.Constants_checked
type t
type length = Length.Checked.t
type time = Block_time.Checked.t
type timespan = Block_time.Span.Checked.t
type bool_type
val constant : int -> t
val of_length : length -> t
val to_length : t -> length
val of_timespan : timespan -> t
val to_timespan : t -> timespan
val of_time : time -> t
val to_time : t -> time
val zero : t
val one : t
val (/) : t -> t -> t
val (*) : t -> t -> t
val (+) : t -> t -> t
val min : t -> t -> t