Lines Matching defs:l2
175 left = l2, key = k2, value = v2, right = r2, ...} = x2
177 mkT p2 (treeAppend cmp t1 l2) k2 v2 r2
223 val (l2,k2_v2,r2) = nodePartition cmp x2 k1
224 val (l1,l2) = treeCombineRemove cmp f l1 l2
229 if treeSize l2 + treeSize r2 = #size x2 then (t1,t2)
230 else (mkT p1 l1 k1 v1 r1, treeAppend cmp l2 r2)
233 NONE => (treeAppend cmp l1 r1, treeAppend cmp l2 r2)
234 | SOME v => (mkT p1 l1 k2 v r1, treeAppend cmp l2 r2)
248 val (l2,_,r2) = nodePartition cmp x2 k1
249 val l = treeUnionDisjoint cmp l1 l2
283 val (l2,k2_v2,r2) = nodePartition cmp x2 k1
284 val l = treeIntersect cmp f l1 l2
339 val (l2,k2_v2,r2) = nodePartition cmp x2 k1
340 val l = treeDifference cmp l1 l2
374 val (l2,k2_v2,r2) = nodePartition cmp x2 k1
377 treeSubsetDomain cmp l1 l2 andalso
399 val (l2,k2_v2,r2) = nodePartition cmp x2 k1
402 treeEqualDomain cmp l1 l2 andalso