WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case
union1
term1?
case_union1_term1
Def union1_term1(
x
) =>
body
(
x
)
cont
(
x1
,
z
)
Def
== InjCase(
x1
;
x2
.
body
(
x2
);
_
.
cont
(
z
,
z
))
Syntax:
union1_term1(
x
) =>
unio
body
(
x
)
cont
has structure:
case_union1_term1(
x
.
body
(
x
);
cont
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
