as s.t. 1of(p) =
l else < l,d > )) as s.t. P(x) else d) == Case of filter(
x.P(x);as); nil 
d ; a.b a
is mentioned by
|
Def apply_alist(as;l;d) == 2of((first p as s.t. 1of(p) = l else < l,d > )) | [apply_alist] |
In prior sections: mb list 2
Try larger context: GenAutomata