Definitions SUPPORTjlc Sections NuprlLIB Doc

No mentions to report in SUPPORTjlc
module1Def module1(tag, data) == < tag,data >

Syntax:module1(tag, data) has structure: module1(tag; data)

About:
pair!abstraction

Definitions SUPPORTjlc Sections NuprlLIB Doc