\indexentry{Match_failure (exception)@\verb`Match_failure` (exception)}{\@locref{@manual0}{6.7.1}}
\indexentry{Match_failure (exception)@\verb`Match_failure` (exception)}{\@locref{@manual1}{6.7.1}}
\indexentry{Match_failure (exception)@\verb`Match_failure` (exception)}{\@locref{@manual2}{6.7.2}}
\indexentry{Assert_failure (exception)@\verb`Assert_failure` (exception)}{\@locref{@manual3}{7.3}}
\indexentry{Lazy (module)@\verb`Lazy` (module)}{\@locref{@manual4}{7.4}}
\indexentry{force@\verb`force`}{\@locref{@manual5}{7.4}}
