Definitions
GenAutomata
Sections
NuprlLIB
Doc
No mentions to report in GenAutomata
switch_default
Def Default = > body EndSwitch(x) == body
Syntax:
Default = > body EndSwitch
has structure:
switch_default(body)
About:
Definitions
GenAutomata
Sections
NuprlLIB
Doc