 title="allows substitution of a Term by another, as well as mapping to a vector of terms chiefly subtypes of Term and HLists of these;"><span class="name">TermList</span></a><span class="tparams">[<span name="A">A</span>]</span><span class="result"> extends <a href="Subst.html" name="provingground.Subst" id="provingground.Subst" class="extype">Subst</a>[<span name="provingground.TermList.A" class="extype">A</span>]</span></span><p class="shortcomment cmt">allows substitution of a <code>Term</code> by anoth