ies indented2"><span class="separator"></span> <a href="HoTT$$ConstantTyp.html" title="Term invariant under substitution." class="trait"></a><a href="HoTT$$ConstantTyp.html" title="Term invariant under substitution.">ConstantTyp</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$DefaultNameFactory$.html" title="factory for variable names" class="object"></a><a href="HoTT$$DefaultNameFactory$.html" title="factory for variable names">DefaultNameFactory</a></li><li cl