WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites case mk dec?
case_mk_decDef Case lbl : typ = > body(lbl;typ)(x,z) == x/x2,x1. body(x2;x1)

Syntax:Case lbl : typ = > body(lbl;typ) has structure: case_mk_dec(lbl,typ.body(lbl;typ))

About:
spreadapply!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc