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
spread6
Def let
a
,
b
,
c
,
d
,
e
,
f
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
)
Def
==
u
/
a
,
zz1
.
zz1
/
b
,
zz2
.
zz2
/
c
,
zz3
.
zz3
/
d
,
zz4
.
zz4
/
e
,
f
.
v
(
a
;
b
;
c
;
d
;
e
;
f
)
Syntax:
let
a
,
b
,
c
,
d
,
e
,
f
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
)
has structure:
spreadn(
u
;
a
,
b
,
c
,
d
,
e
,
f
.
v
(
a
;
b
;
c
;
d
;
e
;
f
))
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc