Definitions GenAutomata Sections NuprlLIB Doc

No mentions to report in GenAutomata
switch_defaultDef Default = > body EndSwitch(x) == body

Syntax:Default = > body EndSwitch has structure: switch_default(body)

About:
apply!abstraction

Definitions GenAutomata Sections NuprlLIB Doc