ref="comparingp_0.html#id2"><span class="std std-ref">(=&lt;)/2</span></a>  <a class="reference internal" href="comparingp_0.html#id10"><span class="std std-ref">(=\=)/2</span></a>  <a class="reference internal" href="comparingp_0.html#id4"><span class="std std-ref">(&gt;)/2</span></a>  <a class="reference internal" href="comparingp_0.html#id6"><span class="std std-ref">(&gt;=)/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-check-1"><span class="std std-ref">check/1</span></a>  