<> <> DIRECTORY RedBlackTree; RedBlackTreeExtras: CEDAR DEFINITIONS = {OPEN RedBlackTree; GetIDKey: GetKey; NewRefTable: PROC RETURNS [Table]; NewRopeTable: PROC [case: BOOL _ TRUE] RETURNS [Table]; StatelessEnumerateIncreasing: PROC [self: Table, procToApply: EachNode, getKey: GetKey]; DeleteData: PROC [self: Table, deleteKey: Key] RETURNS [deletedData: UserData]; }.