module Make: functor (Ord : OrderedType) -> sig end
functor (Ord : OrderedType) -> sig end
Ord
MoreLabels.Map.OrderedType
type key
type 'a t
'a