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