term_types(ds;da;de;r.args[0]) & Q term_types(ds;da;de;r.args[1])
Case R = >
||de.rel(R)|| = ||r.args|| 
& (
i:. i < ||r.args|| 
(de.rel(R))[i] term_types(ds;da;de;r.args[i]))
Default = > False
x1.inr(x2) = > body(hd([x2 / tl(x1)])) cont(hd(x1),z))([x1])
is mentioned by
|
Def tc(r;ds;da;de)
== Case(r.name)
Case eq(Q) = >
||r.args|| = 2 & Q term_types(ds;da;de;r.args[0]) & Q term_types(ds;da;de;r.args[1])
Case R = >
||de.rel(R)|| = ||r.args||
& (i:. i < ||r.args|| (de.rel(R))[i] term_types(ds;da;de;r.args[i]))
Default = > False | [tc] |
In prior sections: mb automata 1 mb automata 2
Try larger context: GenAutomata