MarkB generic Sections NuprlLIB Doc

Def ||as|| == Case of as; nil 0 ; a.as' ||as'||+1 (recursive)

is mentioned

In prior sections: list 1 mb basic mb list 1 mb list 2


MarkB generic Sections NuprlLIB Doc