Add IntervalMap to the Programmer's Manual.