Module type Interval_map_intf.Key

module type Key = Core_kernel.Core_map_intf.Key