module Set: sig .. end
sig
end
module type S = sig .. end
module Make: functor (Ord : Set.OrderedType) -> S with type elt = Ord.t and type t = Set.Make(Ord).t
functor (
Ord
:
Set.OrderedType
) ->
S
with type elt = Ord.t and type t = Set.Make(Ord).t
Make (Ord)