Lines Matching defs:append
148 (* [append left right] constructs a new tree t.
153 fun append LEAF right = right
154 | append left LEAF = left
155 | append (RED(x,xd,a,b)) (RED(y,yd,c,d)) =
156 (case append b c of
159 | append a (RED(x,xd,b,c)) = RED(x, xd, append a b, c)
160 | append (RED(x,xd,a,b)) c = RED(x, xd, a, append b c)
161 | append (BLACK(x,xd,a,b)) (BLACK(y,yd,c,d)) =
162 (case append b c of
169 EQUAL => (x, append a b)