module Make: functor (M : OrderedTypePrintable) -> S with type elt = M.t
functor (
M
:
OrderedTypePrintable
) ->
S
with type elt = M.t
include Set.S
val find : (elt -> bool) -> t -> elt
(elt -> bool) -> t -> elt
val map : (elt -> elt) -> t -> t
(elt -> elt) -> t -> t
val of_list : elt list -> t
elt list -> t
val print : Format.formatter -> t -> unit
Format.formatter -> t -> unit