mem_f(St;sx;nil \ s) 
if eq(s,sx)
False else mem_f(St;sx;nil) fi7. v: St*
8. mem_f(St;sx;v \ s)
if eq(s,sx) False else mem_f(St;sx;v) fi mem_f(St;sx;(u.v) \ s) if eq(s,sx) False else mem_f(St;sx;u.v) fi
St
mem_f(St;sx;l \ s) if eq(s,sx) False else mem_f(St;sx;l) fi| 1 | mem_f(St;sx;nil \ s) if eq(s,sx) False else mem_f(St;sx;nil) fi |
| 2 | 6. u: St 7. v: St* 8. mem_f(St;sx;v \ s) if eq(s,sx) False else mem_f(St;sx;v) fi mem_f(St;sx;(u.v) \ s) if eq(s,sx) False else mem_f(St;sx;u.v) fi |
About:
 |  |  |  |  |
 |  |  |  |  |