Types and abbreviations

\label{code/N} .so N.h