Utilities

\label{code/U}

Auxiliary definitions

\label{code/U:aux} .so U.h

Term manipulation functions

\label{code/U:fun} .so U.i