WhoCites
Definitions
mb
label
Sections
GenAutomata
Doc
Who Cites case?
case
Def Case(value) body == body(value,value)
Syntax:
Case(value) body
has structure:
case(value; body)
About:
WhoCites
Definitions
mb
label
Sections
GenAutomata
Doc