rm</a> * <span><span>(<a href="../Term/index.html#type-term">Term.term</a> * <a href="../Term/index.html#type-term">Term.term</a>)</span> <span class="xref-unresolved">Base</span>.list</span> * <a href="../Term/VarSet/index.html#type-t">Term.VarSet.t</a>)</span> <span class="xref-unresolved">Base</span>.option</span></span></code></div><div class="spec-doc"><p><code>matches_subpattern ~boundvars t ~pattern</code> returns some triple <code>t', subs, vs</code> when some sub-pattern of <code>pattern</code> mat