Lines Matching defs:append
362 (* [append left right] constructs a new tree t.
367 fun append LEAF right = right
368 | append left LEAF = left
369 | append (RED(x,a,b)) (RED(y,c,d)) =
370 (case append b c of
373 | append a (RED(x,b,c)) = RED(x, append a b, c)
374 | append (RED(x,a,b)) c = RED(x, a, append b c)
375 | append (BLACK(x,a,b)) (BLACK(y,c,d)) =
376 (case append b c of
383 EQUAL => append a b