\begin{theindex}

  \item \textsf{HomalgToCAS}, \hyperpage{4}

  \indexspace

  \item \texttt  {homalgIOMode}, \hyperpage{6}

  \indexspace

  \item \texttt  {IsHomalgExternalRingRep}, \hyperpage{10}

\end{theindex}
