x
2of(u) else apply_alist(v;x;d) fi
< x,if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi > = u
( < x,if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi > 
v)
T) ListTT) List
d:T, x:Label. (x map(
p.1of(p);v)) 
( < x,apply_alist(v;x;d) > v) (x map(p.1of(p);v)) < x,apply_alist([u / v];x;d) > = u ( < x,apply_alist([u / v];x;d) > v)as:(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 < x,if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi > = u
( < x,if 1of(u) = x 2of(u) else apply_alist(v;x;d) fi > v) |
About:
 |  |  |  |  |
 |  |  |  |  |  |