d="provingground.HoTT.PairTerm" class="extype">PairTerm</a>[<span name="provingground.induction.coarse.Curry.funcCurry.Dom" class="extype">Dom</span>, <span name="provingground.induction.coarse.Curry.funcCurry.Total" class="extype">Total</span>], <span name="provingground.induction.coarse.Curry.funcCurry.Cod" class="extype">Cod</span>]</span></span></li><li class="indented0 " name="scala.AnyRef#getClass" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="getClass():Class[_]"></a><a id