as s.t. 1of(a) =
x else < x,d > ) = as[i]
2of(as[i]) = map(
p.2of(p);as)[i] as s.t. 1of(a) = x else < x,d > ) = as[i]8. z: Label
T i < ||map(p.2of(p);as)||T) List
as s.t. (p.1of(p) = x)(a) else < x,d > ) = as[i] 2of((first p as s.t. 1of(p) = x else < x,d > )) = map(p.2of(p);as)[i]| 1 | 7. (first a as s.t. 1of(a) = x else < x,d > ) = as[i] 2of(as[i]) = map(p.2of(p);as)[i] |
| 2 | 7. (first a as s.t. 1of(a) = x else < x,d > ) = as[i] 8. z: Label T i < ||map(p.2of(p);as)|| |
About:
 |  |  |  |  |  |  |