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