nd"><span class="modifier"></span> <span class="kind">trait</span></span> <span class="symbol"><a href="TermListImplicits.html" title=""><span class="name">TermListImplicits</span></a><span class="result"> extends <a href="SubstImplicits.html" name="provingground.SubstImplicits" id="provingground.SubstImplicits" class="extype">SubstImplicits</a></span></span></li><li class="indented0 " name="provingground.Weighted" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="Weighted[T]extendsPr