M:T List. nil
(eq)M 
Type5. v: T List
6.
M:T List. v(eq)M Type M:T List. (u.v)(eq)M Type
}
M:T List. L(eq)M Type
| 1 | M:T List. nil(eq)M Type |
| 2 | 4. u: T 5. v: T List 6. M:T List. v(eq)M Type M:T List. (u.v)(eq)M Type |
About:
 |  |  |  |  |  |