T
T
5. u: T
6. v: T List
7. f1: {T=
}8.
x,y:T. f1(x,y) 
eq(x,y)
xv.if eq(x,u)
true else x(eq) v fi
}
}
x,y:T. f1(x,y) eq(x,y)
xv.if eq(x,u) true else x(eq) v fi
| 1 | 4. eq TT 5. u: T 6. v: T List 7. f1: {T= }8. x,y:T. f1(x,y) eq(x,y) xv.if eq(x,u) true else x(eq) v fi |
About:
 |  |  |  |  |  |  |  |  |