type 'a ref = ref of 'a</TD> <TD><A href="ref.html">Ref.t</A></TD> </TR>
    <TR> <TD>datatype bool = false | true</TD> <TD><A href="bool.html">Bool.t</A></TD> </TR>
    <TR> <TD>datatype order = LESS | EQUAL | GREATER</TD> <TD><A href="general.html">General.order</A></TD> </TR>
    <TR> <TD>datatype 'a option = NONE | SOME of 'a</TD> <TD><A href="option.html">Option.t</A></TD> </TR>
    <TR> <TD>datatype 'a list = nil | op:: of 'a * 'a list</TD> <TD><A href="list.html">List.t</A></TD> </TR>
    <TR> <TD>da