Constants.M_intf
type t
type length
type time
type timespan
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