WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case
pair?
case_pair
Def <
x
,
y
> =>
body
(
x
;
y
)(
value
,
cont
) ==
value
/
x
,
y
.
body
(
x
;
y
)
Syntax:
<
x
,
y
> =>
<
x
,
y
body
(
x
;
y
)
has structure:
case_pair(
x
,
y
.
body
(
x
;
y
))
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
