MereWitness.html" title="">MereWitness</a></li><li class="current-entities indented2"><a href="HoTT$$MiscAppln$.html" title="" class="object"></a> <a href="HoTT$$MiscAppln.html" title="record a function as an application, especially for serialization" class="trait"></a><a href="HoTT$$MiscAppln.html" title="record a function as an application, especially for serialization">MiscAppln</a></li><li class="current-entities indented2"><a href="HoTT$$Name$.html" title="" class="object"></a> <a href="HoTT$$Name.html