WhoCites Definitions mb label Sections GenAutomata Doc

Who Cites case?
caseDef Case(value) body == body(value,value)

Syntax:Case(value) body has structure: case(value; body)

About:
apply!abstraction

WhoCites Definitions mb label Sections GenAutomata Doc