 actual types.</p></td>
</tr>
<tr>
<td><p><span class="term"><code class="computeroutput">other</code></span></p></td>
<td><p>The object to bind the reference to. </p></td>
</tr>
</tbody>
</table></div></td>
</tr>
<tr>
<td><p><span class="term">Requires:</span></p></td>
<td><p>The type stored in <code class="computeroutput">other</code> must match the type expected by <code class="computeroutput">binding</code>.</p></td>
</tr>
<tr>
<td><p><span class="term">Postconditions:</span></p></td>
<td><p>binding_of(