StatelessEnumerateIncreasing:
PUBLIC
PROC [self: Table, procToApply: EachNode, getKey: GetKey] = {
key: Key ← NIL;
FOR data: UserData ← self.LookupSmallest[], self.LookupNextLarger[key]
WHILE data #
NIL
DO
key ← getKey[data];
IF procToApply[data] THEN EXIT;
ENDLOOP;
};