WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case
module1?
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
WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
