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).