package owee
-
owee
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package owee
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
An interval has a left bound, a right bound and a payload (called value)
val create : Stdlib.Int64.t -> Stdlib.Int64.t -> 'a -> 'a tcreate lbound rbound value create a new Int64.t interval with an associated value. PRECONDITION: lbound must be <= rbound.
val of_triplet : (Stdlib.Int64.t * Stdlib.Int64.t * 'a) -> 'a tof_triplet (lbound, rbound, value) = create lbound rbound value
val to_triplet : 'a t -> Stdlib.Int64.t * Stdlib.Int64.t * 'ato_triplet itv = (lbound, rbound, value)