GenAutomata
Sections
NuprlLIB
Doc
Def
tc_eff(ef;ds;de) == tc_smt(ef.smt;ds; < ef.typ > ;de)
is mentioned
In prior sections:
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc