Module Interval_map

type order =
| Asc
| Desc
module type Comparable = sig ... end
exception Invalid_interval
module Make : functor (Bound_compare : Comparable) -> sig ... end