6. i < ||as|| & (first a
as s.t. (
p.1of(p) =
x)(a) else < x,d > ) = as[i]
i < ||2of(unzip(as))|| & 2of((first p as s.t. 1of(p) = x else < x,d > )) = 2of(unzip(as))[i]
T) List as s.t. (p.1of(p) = x)(a) else < x,d > ) as) (2of((first p as s.t. 1of(p) = x else < x,d > )) 2of(unzip(as)))| 1 | 5. i: 6. i < ||as|| & (first a as s.t. (p.1of(p) = x)(a) else < x,d > ) = as[i] i < ||2of(unzip(as))|| & 2of((first p as s.t. 1of(p) = x else < x,d > )) = 2of(unzip(as))[i] |
About:
 |  |  |  |  |  |  |