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];
}.