module type S =The signature for an iterator over a tree impelementing a set.sig
..end
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 |
|||
| |
Descending of |
(* | 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