WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc
Who Cites case
default?
case_default
Def Default = > body(value,value) == body
Syntax:
Default = > body
has structure:
case_default(body)
About:
WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc