ption.html#&lt;init&gt;(indMod:provingground.interface.TermIndMod,argsFmly:Vector[scala.util.Try[provingground.HoTT.Term]],xs:Vector[scala.util.Try[provingground.HoTT.Term]],exception:Throwable):provingground.interface.RecFuncException" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">new</span></span> <span class="symbol"><span class="name">RecFuncException</span><span class="params">(<span name="indMod">indMod: <a 