package itv-tree

  1. Overview
  2. Docs
package itv-tree
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Interval_tree.Interval

type 'a t = {
  1. lbound : float;
  2. rbound : float;
  3. value : 'a;
}

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)