mb automata 2 Sections GenAutomata Doc

Def smts_eff(ss;x) == smt_terms( < s ss | s.lbl = x > )

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 2 Sections GenAutomata Doc