Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
case_pairDef < x,y > = > body(x;y)(value,cont) == value/x,y. body(x;y)

Syntax: < x,y > = > body(x;y) has structure: case_pair(x,y.body(x;y))

About:
spreadapply!abstraction

Definitions MarkB generic Sections NuprlLIB Doc