
        <LI><TT>`&lt;->(<I>e</I>,<I>c</I>)</TT> reifies
            the equation <I>e</I> into <I>c</I>.
      </UL>
      <P></P>
    </DD>

    <DT>
      <TT>var <I>dom</I></TT>
    </DT>
    <DD>
      <P>returns a freshly created finite domain variable term initialized
         with <I>dom</I>.
      </P>
    </DD>

    <DT>
      <TT>bin ()</TT>
    </DT>
    <DD>
      <P>returns a freshly created <TT>0/1</TT> variable term which can be used
         for reification.
      </P>
    </DD>

    <DT>
 