tion"); ?>

  <DL>
    <DT>
      <TT>datatype domain_element = `` of int | `# of int *int<BR>
          type domain = domain_element list</TT>
    </DT>
    <DD>
      <P>Used to describe domains of finite domain variables. <TT>`` i</TT>
         denotes the single integer value <TT>i</TT>
         and <TT>>`#(l,h)</TT> denotes all
         integer values between <TT>l</TT> and <TT>h</TT>. For example,
         <TT>[``3,`#(5,10)]</TT> denotes <TT>[3,5,6,7,8,9,10]</TT>.
      </P>
    </DD>

    <DT>
      