Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
switch_defaultDef Default = > body EndSwitch(x) == body

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

About:
apply!abstraction

Definitions MarkB generic Sections NuprlLIB Doc