module Myset: sig .. end
sig
end
module type S = sig .. end
module Make: functor (X : Useful.ORD_PRT) -> S with type elt = X.t
functor (
X
:
Useful.ORD_PRT
) ->
S
with type elt = X.t