mb automata 4 Sections GenAutomata Doc

Def Case x;y = > body(x;y) cont(x1,z) == InjCase(x1; _. cont(z,z); x2. x2/x3,x2@0. body(x3;x2@0))

is mentioned

In prior sections: mb tree mb automata 1 mb automata 2

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc