Terms

\label{code/T}

Definitions

\label{code/T:defs} .so T.h

Implementation

\label{code/T:impl} .so T.i