mb
automata
3
Sections
GenAutomata
Doc
Def
tc_smt(s;ds;da;de) == mk_dec(s.lbl, s.typ)
ds & s.typ
term_types(ds;da;de;s.term)
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
3
Sections
GenAutomata
Doc
ds & s.typ term_types(ds;da;de;s.term)