T:Type, equiv:{T}, eq:{T=}, u:T, L:T List. u(equiv) L (v:T. equiv(u,v) & v(eq) L)

1	1. T: Type 2. equiv: {T} 3. eq: {T=} 4. u: T 5. L: T List 6. u(equiv) L v:T. equiv(u,v) & v(eq) L

About: