Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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