ization</code></code> and <code><code>parsing</code></code>.</p><p>The <a href="../library/index.html" name="provingground.library" id="provingground.library" class="extype">library</a> package is contains basic structures implemented in HoTT.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="../../index.html" name="_root_" id="_root_" class="extype">root</a></dd></dl></div></li><li class="indented2 " name="provingground.translation" group="Ungrouped" fullComment="yes" data-isab