WhoCites
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites find
first
iter?
find_first_iter
Def find_first_iter(
v
.
p
(
v
);
v
.
f
(
v
);
a
)
Def
== if
p
(
a
)
a
else find_first_iter(
v
.
p
(
v
);
v
.
f
(
v
);
f
(
a
)) fi
Def
(recursive)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
a else find_first_iter(v.p(v); v.f(v); f(a)) fi
a else find_first_iter(v.p(v); v.f(v); f(a)) fi
