.term</a> <a href="../Term/VarMap/index.html#type-t">Term.VarMap.t</a></span> <span class="xref-unresolved">Base</span>.option</span></span></code></div><div class="spec-doc"><p><code>matches_pattern t p</code> returns Some map if <code>t</code> matches <code>p</code>, where the map binds the variables of the pattern to the relevant subterms of <code>t</code>. If <code>t</code> does not match the pattern <code>p</code> then None is returned.</p></div></div><div class="odoc-spec"><div class="spec value" id="