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