<div class="toggleContainer"><div class="toggle block"><span>Known Subclasses</span><div class="subClasses hiddenContent"><a href="HoTT$$DefaultNameFactory$.html" name="provingground.HoTT.DefaultNameFactory" id="provingground.HoTT.DefaultNameFactory" class="extype">DefaultNameFactory</a></div></div></div><div id="inheritance-diagram-container" class="toggleContainer block diagram-container"><span class="toggle diagram-link">Type Hierarchy</span><div id="inheritance-diagram" class="diagram hiddenContent"><sv