WhoCites
Definitions
mb
tree
Sections
MarkB
generic
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case
tree
leaf?
case_tree_leaf
Def Case tree_leaf(
x
) =>
body
(
x
)
cont
(
x1
,
z
)
Def
== InjCase(
x1
;
x2
.
body
(
x2
);
_
.
cont
(
z
,
z
))
Syntax:
Case tree_leaf(
x
) =>
Case
body
(
x
)
cont
has structure:
case_tree_leaf(
x
.
body
(
x
);
cont
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
mb
tree
Sections
MarkB
generic
Doc
