Module Interval_map_intf.S.Key

module Key: Core_kernel.Std.Comparator.S