mb
label
Sections
GenAutomata
Doc
Def
reduce(f;k;as) == Case of as; nil
k ; a.as'
f(a,reduce(f;k;as')) (recursive)
is mentioned by
Def
x
ls == reduce(
a,b. x =
a
b;false
;ls)
[lbls_member]
In prior sections:
list
1
mb
list
1
Try larger context:
GenAutomata
mb
label
Sections
GenAutomata
Doc
ls == reduce(
a,b. x =
a 
b;false;ls)
k ; a.as' f(a,reduce(f;k;as')) (recursive)
ls == reduce(a,b. x = a b;false;ls)