GenAutomata
Sections
NuprlLIB
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 mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
ds & s.typ term_types(ds;da;de;s.term)