mb automata 1 Sections GenAutomata Doc

Def tappend(tr;a) == mk_trace_env(tr.trace @ [a], tr.proj)

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 1 Sections GenAutomata Doc