Module type Reins.TreeSetIterator.S


module type S = sig .. end
The signature for an iterator over a tree impelementing a set.


type ordering =
| PreOrder
| InOrder
| PostOrder (*A PreOrder traversal always visits the root of the tree before its children. An InOrder traversal visits one subtree, then the root, then the other subtree (which subtree is chosen by the direction_ type below). Finally, a PostOrder traversal visits the subtrees before visiting the root.*)

type direction_ =
| Ascending of ordering
| Descending of ordering (*An ascending direction traversal always visits the elements in increasing order of the keys. Similarly, the descending direction traversal visits elements in decreasing key order.*)
include Reins.Iterator.S