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
spread3
Def let
x
,
y
,
z
=
a
in
t
(
x
;
y
;
z
) ==
a
/
x
,
zz
.
zz
/
y
,
z
.
t
(
x
;
y
;
z
)
Syntax:
let
x
,
y
,
z
=
a
in
t
(
x
;
y
;
z
)
has structure:
spreadn(
a
;
x
,
y
,
z
.
t
(
x
;
y
;
z
))
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc
