module type S =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