7. (first a
as s.t. (
p.1of(p) =
x)(a) else < x,d > ) = as[i]
i < ||map(p.2of(p);as)||7. (first a
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]
T) List
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]| 1 | 6. i < ||as|| 7. (first a as s.t. (p.1of(p) = x)(a) else < x,d > ) = as[i] i < ||map(p.2of(p);as)|| |
| 2 | 6. i < ||as|| 7. (first a 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] |
About:
 |  |  |  |  |  |  |