M,N:T List. L = (M @ (u.N))
v:T, M:T List. L = v.M
}
T
T
x,y:T. eq(x,y) 
x = y
eq) L
v:T, M:T List. L = v.M
eq:{T=}, L:T List, x:T. x(eq) L 
(M,N:T List. L = (M @ (x.N)))
[T;eq;L;u]
| 1 | 8. M,N:T List. L = (M @ (u.N)) v:T, M:T List. L = v.M |
About:
 |  |  |  |  |  |  |  |  |  |  |