ral structures for
concrete languages including our implementation of HoTT are in this package.
</p></div></div></li><li class="current-entities indented1"><span class="separator"></span> <a href="Base$.html" title="" class="object"></a><a href="Base$.html" title="">Base</a></li><li class="current-entities indented1"><a href="Context$.html" title="" class="object"></a> <a href="Context.html" title="" class="trait"></a><a href="Context.html" title="">Context</a></li><li class="current-entities indented1"><a 