erface") ?>

  <P>
    The following table presents the top-level types and their defining
    structures. Items marked <TT>(*)</TT> are extensions to the Standard Basis.
  </P>

  <TT>
  <TABLE>
    <TR> <TD>type unit = {}</TD> <TD><A href="general.html">General.unit</A></TD> </TR>
    <TR> <TD>eqtype int</TD> <TD><A href="integer.html">Int.t</A></TD> </TR>
    <TR> <TD>eqtype word</TD> <TD><A href="word.html">Word.t</A></TD> </TR>
    <TR> <TD>eqtype real</TD> <TD><A href="real.html">Real.t</A></TD> </TR>