module Make: functor (Ord : OrderedType) -> S º@@@°ÀMO—²ÀN
functor (
Ord
:
OrderedType
) ->
S
º@@@°ÀMO—²ÀN
include Set.S
val toList : t -> elt list
t -> elt list
val fromList : elt list -> t
elt list -> t