&gt;</span></span> <span><a href="../Term/index.html#type-term">Term.term</a> <span class="xref-unresolved">Base</span>.option</span></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-matches" class="anchored"><a href="#val-matches" class="anchor"></a><code><span><span class="keyword">val</span> matches : 
  <span>?boundvars:
    <span><span>( <a href="../Term/VarSet/index.html#type-elt">Term.VarSet.elt</a>,
      <span class="xref-unresolved">Base</span>.Comparator.Make(<span 