mb automata 4 Sections GenAutomata Doc

Def term_vars(t) == iterate(statevar v- > [v] statevar v'- > [v] funsymbol f- > nil freevar f- > nil trace(P)- > nil x(y)- > x @ y over t)

is mentioned

In prior sections: mb automata 2 mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc