 std-ref">subterm/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-valid-1"><span class="std std-ref">valid/1</span></a>  <a class="reference internal" href="termp_0.html#termp-0-variables-2"><span class="std std-ref">variables/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-variant-2"><span class="std std-ref">variant/2</span></a>  <a class="reference internal" href="termp_0.html#termp-0-varnumbers-2"><span class="std std-ref">varnumbers/2</span></a>  <a cl