Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
case_module1Def module1(tag, data) = > body(tag;data)(x,z) == x/x2,x1. body(x2;x1)

Syntax:module1(tag, data) = > body(tag;data) has structure: case_module1(tag,data.body(tag;data))

About:
spreadapply!abstraction

Definitions MarkB generic Sections NuprlLIB Doc