False 
x(
eq) M 
x(eq) M7. v: T List
8. x(
eq) v x(eq) M x(eq) (v @ M) if eq(x,u)
true
else x(eq) v fi x(eq) M if eq(x,u) true else x(eq) (v @ M) fi
}
eq) L x(eq) M
x(eq) (L @ M)
| 1 | False x(eq) M x(eq) M |
| 2 | 6. u: T 7. v: T List 8. x( eq) v x(eq) M x(eq) (v @ M) if eq(x,u) true else x(eq) v fi x(eq) M if eq(x,u) true else x(eq) (v @ M) fi |
About:
 |  |  |  |  |  |  |  |  |