package itv-tree

  1. Overview
  2. Docs

Module Interval_tree.IntervalSource

Sourcetype '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)

Sourceval create : float -> float -> 'a -> 'a t

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

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

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

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

to_triplet itv = (lbound, rbound, value)