eq(x,y)7. u: T
8. v: T List
9. x(
eq) v 
x(eq) remove(eq;y;v)10. if eq(x,u)
true
else x(eq) v fi
x(eq) if eq(y,u) v else u.remove(eq;y;v) fi}
eq) L
eq(x,y)
x(eq) remove(eq;y;L)
| 1 | 6. eq(x,y) 7. u: T 8. v: T List 9. x( eq) v x(eq) remove(eq;y;v)10. if eq(x,u) true else x(eq) v fi x(eq) if eq(y,u) v else u.remove(eq;y;v) fi |
About:
 |  |  |  |  |  |