Searched defs:oldTree (Results 1 – 1 of 1) sorted by relevance
126 val oldTree = createTree(old, filter) in pop() constant145 val oldTree = createTree(old, filter) in pop() constant174 val oldTree = oldList[index1] in pop() constant223 val oldTree = oldList[index1++] in pop() constant