mb automata 2 Sections GenAutomata Doc

Def Case lbl : typ = > body(lbl;typ)(x,z) == x/x2,x1. body(x2;x1)

is mentioned by

Def [[d]] rho == Case(d) Case x : s = > x:[[s]] rho[dec_mng]

Try larger context: GenAutomata

mb automata 2 Sections GenAutomata Doc