sses is <a href="Functors$.html" name="provingground.translation.Functors" id="provingground.translation.Functors" class="extype">Functors</a>, several structures for
concrete languages including our implementation of HoTT are in this package.
</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="indented3 " name="provingground.translation.TreeModel" group="Ungroupe