I>
</UL>


<!--
<?php section("rebind", "overloaded rebinding") ?>

<P>A value declaration that is merely a renaming of a (possibly qualified)
overloaded identifier assigns the same overloaded type to the bound
identifier:</P>

<PRE class=code>
val plus = op+
val n = plus(1,2)
val r = plus(1.0, 2.0)</PRE>

<P>The same applies to implicit rebinding via <TT>open</TT> declarations:</P>

<PRE class=code>
structure M = struct val plus = op+ end
open M
val n = plus(1,2)
val r = plus(1.0,2.0)</PRE>
-->


<?php sec