html#type-term">Term.term</a> <a href="../Term/VarMap/index.html#type-t">Term.VarMap.t</a></span> * <a href="../Term/index.html#type-term">Term.term</a></span></code></div><div class="spec-doc"><p><code>skeletize ~functions t</code> returns the term t where each subterm that does not contain a call to the functions in <code>functions</code> has been reblaced by a box containing a fresh variable. Returns a pair of a boxed var-substitution list and the term with the boxes replacing the subexpressions.</p></di