\begin{indexenv}
\indexitem \verb`Assert_failure` (exception), \@locref{@manual3}{7.3}
\indexspace
\indexitem \verb`force`, \@locref{@manual5}{7.4}
\indexspace
\indexitem \verb`Lazy` (module), \@locref{@manual4}{7.4}
\indexspace
\indexitem \verb`Match_failure` (exception), \@locref{@manual0}{6.7.1}, \@locref{@manual1}{6.7.1}, \@locref{@manual2}{6.7.2}
\end{indexenv}
