pace">space</A>

  val <A href="#root">root</A>         : space
  val <A href="#readSolution">readSolution</A> : space -> solution
  val <A href="#copyq">copyq</A>        : int -> bool
  val <A href="#mask">mask</A>         : Debug.db_mask

  val <A href="#bab">bab</A>          : bool
  val <A href="#bound">bound</A>        : space * solution -> unit
  val <A href="#compare">compare</A>      : solution * solution -> bool
       
end</PRE>

<?php section("description", "description"); ?>

  <DL>
    <DT>
   