True10.
x:T. False & x(
eq) v
x:T. False & if eq(x,u)
true
else x(eq) v fi}
T
T
x,y:T. eq(x,y) 
x = y
True 
(x:T. False & x(eq) v)
True
x:T. False & if eq(x,u) true else x(eq) v fi
| 1 | 9. True 10. x:T. False & x(eq) v x:T. False & if eq(x,u) true else x(eq) v fi |
About:
 |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |  |