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
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
Definitions
StandardLib
Sections
NuprlLIB
Doc
