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