Lines Matching defs:l2
134 | concat3 (l as T(v1,n1,l1,r1)) v (r as T(v2,n2,l2,r2)) =
135 if wt n1 < n2 then T'(v2, concat3 l v l2,r2)
165 | concat (t1 as T(v1,n1,l1,r1)) (t2 as T(v2,n2,l2,r2)) =
166 if wt n1 < n2 then T'(v2, concat t1 l2, r2)
188 | uni_bd (T(v,_,l1,r1)) (s2 as T(v2,_,l2,r2)) lo hi =
208 | uni_hi (T(v,_,l1,r1)) (s2 as T(v2,_,l2,r2)) hi =
216 | uni_lo (T(v,_,l1,r1)) (s2 as T(v2,_,l2,r2)) lo =
223 | uni (T(v,_,l1,r1), s2 as T(v2,_,l2,r2)) =
238 let val l2 = split_lt s v
241 concat (difference(l2,l)) (difference(r2,r))
257 let val l2 = split_lt s v
261 concat3 (intersection(l2,l)) v (intersection(r2,r))
263 concat (intersection(l2,l)) (intersection(r2,r))