Module Reins.TreeSetIterator

module TreeSetIterator: sig .. end

module type S = sig .. end
The signature for an iterator over a tree impelementing a set.
module Make: 
functor (T : Reins.Sets.Set_) -> S with type 'a elt = 'a T.elt_ and type 'a cursor = 'a T.cursor_ and type 'a collection = 'a T.set
Create an iterator for a Set (note that this implicitly supports both MonoSets and PolySets).