module Map: sig .. end
sig
end
module type OrderedType = Map.OrderedType
Map.OrderedType
include CCMap