MarkB generic Sections NuprlLIB Doc

Def is_leaf(t) == Case(t) Case tree_leaf(l) = > true Default = > false

is mentioned

In prior sections: mb tree


MarkB generic Sections NuprlLIB Doc