/h3><ol><li class="indented0 " name="provingground.interface.RecFuncException#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&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"></a><a id="&lt;init&gt;:RecFuncException"></a> <span class="permalink"><a href="../../provingground/interface/RecFuncExce