<> <> DIRECTORY RedBlackTree; RedBlackTreeExtras: CEDAR DEFINITIONS = {OPEN RedBlackTree; StatelessEnumerateIncreasing: PROC [self: Table, procToApply: EachNode, getKey: GetKey]; }.