package owee

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a t = {

}

An interval has a left bound, a right bound and a payload (called value)

val create : Int64.t -> Int64.t -> 'a -> 'a t

create lbound rbound value create a new Int64.t interval with an associated value. PRECONDITION: lbound must be <= rbound.

val of_triplet : (Int64.t * Int64.t * 'a) -> 'a t

of_triplet (lbound, rbound, value) = create lbound rbound value

val to_triplet : 'a t -> Int64.t * Int64.t * 'a

to_triplet itv = (lbound, rbound, value)