module Make: functor (T : Set.OrderedType) -> sig .. end
functor (
T
:
Set.OrderedType
) ->
sig
end
include T
type setable = t
t
module Set: Set.Make(T)
Set.Make
(
)