Lines Matching defs:l2
156 (r as T{elt=v2,cnt=n2,left=l2,right=r2}) =
157 if wt n1 < n2 then T'(v2, concat3 cmpKey l v l2, r2)
190 (t2 as T{elt=v2,cnt=n2,left=l2,right=r2}) =
191 if wt n1 < n2 then T'(v2, concat t1 l2, r2)
198 (s2 as T{elt=v2,left=l2,right=r2,...}) =
209 (s2 as T{elt=v2,left=l2,right=r2,...}) lo hi =
235 (s2 as T{elt=v2,left=l2,right=r2,...}) hi =
243 (s2 as T{elt=v2,left=l2,right=r2,...}) lo =
257 let val l2 = split_lt cmpKey s2 v
260 concat3 cmpKey (old_union cmpKey l l2) v (old_union cmpKey r r2)
335 let val l2 = split_lt cmpKey t v
339 NONE => concat (intert l2 l) (intert r2 r)
340 | _ => concat3 cmpKey (intert l2 l) v (intert r2 r)
348 let val l2 = split_lt cmpKey s v
351 concat (difft l2 l) (difft r2 r)