Functor Collection.Set.Persistent.MakeTreeSet


module MakeTreeSet: 
functor (T : Set.OrderedType) -> Collection.Set.PS with type elt = T.t
Parameters:
T : Set.OrderedType

include Collection.Set.S
val empty : t
val add : t -> elt -> t
val remove : t -> elt -> t
val filter : (elt -> bool) -> t -> t