module Set: sig .. end
sig
end
module type OrderedTypePrintable = Signatures.OrderedTypePrintable
Signatures.OrderedTypePrintable
module type S = Signatures.SET
Signatures.SET
module Make: functor (M : OrderedTypePrintable) -> S with type elt = M.t
functor (
M
:
OrderedTypePrintable
) ->
S
with type elt = M.t