>))</PRE>
    </DD>

    <DT>
      <TT>isHole <I>v</I></TT>
    </DT>
    <DD>
      <P>Returns <TT>true</TT> if <TT><I>v</I></TT> is a hole,
      <TT>false</TT> otherwise.</P>
    </DD>
  </DL>

<?php footing() ?>
