T
T
4.
x,y:T. eq(x,y) 
x = y5. L: T List
6. M: T List
7.
disjoint(eq;L;M)
x:T. x(eq) L & x(eq) M
}
disjoint(eq;L;M)
x:T. x(eq) L & x(eq) M
| 1 | 3. eq TT 4. x,y:T. eq(x,y) x = y5. L: T List 6. M: T List 7. disjoint(eq;L;M) x:T. x(eq) L & x(eq) M |
About:
 |  |  |  |  |