 <I>v</I></TT>
    </DT>
    <DD>
      <P>posts the distinct constraint on all variables in <I>v</I>.
         For details, see <A HREF="fd.html">here</A>.
      </P>
    </DD>

    <DT>
      <TT>post <I>r</I></TT>
    </DT>
    <DD>
      <P>post the constraint denoted by <I>r</I>.
      </P>
    </DD>
  </DL>

<?php footing() ?>
