module Categorical: sig .. end
sig
end
module type OrderedType = sig .. end
module type S = sig .. end
module Make: functor (Elt : Map.OrderedType) -> S with type elt = Elt.t
functor (
Elt
:
Map.OrderedType
) ->
S
with type elt = Elt.t