mb
automata
3
Sections
GenAutomata
Doc
Def
t.typ == 2of(2of(t))
is mentioned by
Def
tc_smt(s;ds;da;de) == mk_dec(s.lbl, s.typ)
ds & s.typ
term_types(ds;da;de;s.term)
[tc_smt]
Try larger context:
GenAutomata
mb
automata
3
Sections
GenAutomata
Doc