Module range_map

Module range_map 

Source

Structsยง

RangeMap
A map to control intervals that have same values.
RangeSet
A set to control intervals.