Definitions SUPPORTjlc Sections NuprlLIB Doc

No mentions to report in SUPPORTjlc
case_bindDef x:body == body

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

About:
!abstraction

Definitions SUPPORTjlc Sections NuprlLIB Doc