Algebraic data types: Difference between revisions

(** val balance :: color ->* 'a tree ->* 'a ->* 'a tree -> 'a tree *)

| (B, T (R, T (R,a,x,b), y, c), z, d) -> T (R, T (B,a,x,b), y, T (B,c,z,d))

| (B, T (R, a, x, T (R,b,y,c)), z, d) -> T (R, T (B,a,x,b), y, T (B,c,z,d))

| (B, a, x, T (R, T (R,b,y,c), z, d)) -> T (R, T (B,a,x,b), y, T (B,c,z,d))

| (B, a, x, T (R, b, y, T (R,c,z,d))) -> T (R, T (B,a,x,b), y, T (B,c,z,d))

| (col, a, x, b) -> T (col, a, x, b)