Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Owee_interval_tree.Interval
An interval has a left bound, a right bound and a payload (called value)
create lbound rbound value
create a new Int64.t interval with an associated value. PRECONDITION: lbound
must be <= rbound
.
of_triplet (lbound, rbound, value)
= create lbound rbound value