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_union1_term2
Def union1_term2(
x
) =>
body
(
x
)
cont
(
x1
,
z
)
Def
== InjCase(
x1
;
_
.
cont
(
z
,
z
);
x2
.
Def ==
InjCase(
x2
;
x2@0
.
body
(
x2@0
);
_
.
cont
(
z
,
z
)))
Syntax:
union1_term2(
x
) =>
unio
body
(
x
)
cont
has structure:
case_union1_term2(
x
.
body
(
x
);
cont
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc
