Nuprl - Some Definitions

	No mentions to report in GenAutomata

switch_default	`Def Default = > body EndSwitch(x) == body`

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

About: