x
2of(u) else apply_alist(v;x;d) fi
if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi = d
T) ListTT) List
d:T, x:Label. 
(x 
map(
p.1of(p);v)) 
apply_alist(v;x;d) = d(x = 1of(u) 
(x map(p.1of(p);v))) apply_alist([u / v];x;d) = das:(LabelT) List, p:(LabelT), l:Label, d:T.
apply_alist([p / as];l;d) ~ if 1of(p) = l 2of(p) else apply_alist(as;l;d) fi
[T;v;u;x;d]
| 1 | 9. apply_alist([u / v];x;d) ~ if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi = d |
About:
 |  |  |  |
 |  |  |  |  |  |