Definitions
StandardLib
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in StandardLib
case_module1
Def module1(
tag
,
data
) =>
body
(
tag
;
data
)(
x
,
z
) ==
x
/
x2
,
x1
.
body
(
x2
;
x1
)
Syntax:
module1(
tag
,
data
) =>
modu
body
(
tag
;
data
)
has structure:
case_module1(
tag
,
data
.
body
(
tag
;
data
))
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc
