WhoCites
Definitions
core
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites spread7?
spread7
Def let
a
,
b
,
c
,
d
,
e
,
f
,
g
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
Def
==
u
/
a
,
zz1
.
Def ==
zz1
/
b
,
zz2
.
zz2
/
c
,
zz3
.
zz3
/
d
,
zz4
.
zz4
/
e
,
zz5
.
zz5
/
f
,
g
.
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
Syntax:
let
a
,
b
,
c
,
d
,
e
,
f
,
g
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
has structure:
spreadn(
u
;
a
,
b
,
c
,
d
,
e
,
f
,
g
.
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
))
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
core
StandardLIB
Doc
