mb
automata
2
Sections
GenAutomata
Doc
Def
st_lift(rho)(x) == InjCase(x; x'. rho(x'); a. Top)
is mentioned by
Def
[[s]] rho == t_iterate(st_lift(rho);
x,y. x
y;s)
[st_mng]
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc
x,y. x
y;s)x,y. xy;s)