e.html" title="common trait for induction functions, for serialization and pretty printing.">InducFuncLike</a></li><li class="current-entities indented2"><a href="HoTT$$InnerSym$.html" title="" class="object"></a> <a href="HoTT$$InnerSym.html" title="A symbol to be used to generate new variables of a type, without changing toString." class="class"></a><a href="HoTT$$InnerSym.html" title="A symbol to be used to generate new variables of a type, without changing toString.">InnerSym</a></li><li class="current-