rovingground.HoTT.Zero" class="extype">Zero</a>
-   recursion and induction functions for products, coproducts</p><p>General inductive types are <code><code>not</code></code> implemented here, but in the <a href="induction/index.html" name="provingground.induction" id="provingground.induction" class="extype">induction</a> package.</p></div></div></li><li class="indented0 " name="provingground.JvmUtils" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="JvmUtils"></a><a id="JvmUtils:Jvm