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