MarkB
generic
Sections
NuprlLIB
Doc
Def
right_child(t) == Case(t) Case x;y = > y Default = > t
No mentions to report in MarkB_generic.
MarkB
generic
Sections
NuprlLIB
Doc