Module DataStructures.Map
module type OrderedType = Core_Map.OrderedType;module Make: (Ord: OrderedType) => { ... };DataStructures.Mapmodule type OrderedType = Core_Map.OrderedType;module Make: (Ord: OrderedType) => { ... };