package itv-tree

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 : float -> float -> 'a -> 'a t

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

val of_triplet : (float * float * 'a) -> 'a t

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

val to_triplet : 'a t -> float * float * 'a

to_triplet itv = (lbound, rbound, value)