module Interval_map_intf:sig
..end
module type Key = Core_kernel.Core_map_intf.Key
module type Type_with_map_module =sig
..end
module Interval:sig
..end
module type S =sig
..end
module type S_with_boundary =sig
..end
Left_boundary.t
.
module type M =sig
..end