Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
case_bindDef x:body == body

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

About:
!abstraction

Definitions MarkB generic Sections NuprlLIB Doc