t be substituted in the pattern.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-matches_subpattern" class="anchored"><a href="#val-matches_subpattern" class="anchor"></a><code><span><span class="keyword">val</span> matches_subpattern : 
  <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 class="xref-unresolved">Lang__Variables</span>.Variable.T).comparator_witness 