11. z(
f1) v
if eq(z,u)
true
else z(eq) v fi
}
T
T
}
x,y:T. f1(x,y) 
eq(x,y)
xv.if eq(x,u) true else x(eq) v fi 
(z:T. z(f1) v if eq(z,u) true else z(eq) v fi)
xv.if eq(x,u) true else x(eq) v fi
| 1 | 10. z: T 11. z( f1) v if eq(z,u) true else z(eq) v fi |
About:
 |  |  |  |  |  |
 |  |  |  |  |