class BB inherit ITERABLE [detachable ANY] ITERATION_CURSOR [detachable ANY] feature {ANY} new_cursor: BB do Result := Current end item: detachable ANY do end forth do end feature {AA} after: BOOLEAN do Result := True end end