ecl-tags(l; snd)
== l-union-list(id-deq;
== l-union-list(map((v.map((p.p.1); (v.2)));
== l-union-list(map(fpf-vals(product-deq(Knd; IdLnk; Kind-deq; idlnk-deq);
== l-union-list(map(fpf-vals((kl.eq_lnk((kl.2); l));
== l-union-list(map(fpf-vals(snd))) 

latex

Definitions	l-union-list(eq; ll), id-deq, map(f; as), t.1, fpf-vals(eq; P; f), product-deq(A; B; a; b), Knd, IdLnk, Kind-deq, idlnk-deq, x.A(x), eq_lnk(a; b), t.2
FDL editor aliases	ecl-tags