</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground" id="provingground" class="extype">provingground</a></dd></dl></div></li><li class="current-entities indented2"><a href="" title="" class="object"></a> <a href="HoTT$$AbsPair.html" title="Abstract pair, parametrized by scala types of components, generally a (dependent) pair object or a product type." class="trait"></a><a href="HoTT$$AbsPair.html" title="Abstract pair, parametrized by scala types of