Nuprl - Some Definitions

	No mentions to report in GenAutomata

case_bind	`Def x:body == body`

Syntax: x:body has structure: case_bind{x:v}(body)

About: