module MakeTreeSet: functor (T : Set.OrderedType) -> Collection.Set.PS with type elt = T.t
functor (
T
:
Set.OrderedType
) ->
Collection.Set.PS
with type elt = T.t
include Collection.Set.S
val empty : t
t
val add : t -> elt -> t
t -> elt -> t
val remove : t -> elt -> t
val filter : (elt -> bool) -> t -> t
(elt -> bool) -> t -> t