al-icons"></i></a></span></h1><h3><span class="morelinks"></span></h3></div><h4 id="signature" class="signature"><span class="modifier_kind"><span class="modifier"></span> <span class="kind">case class</span></span> <span class="symbol"><span class="name">RecFuncException</span><span class="params">(<span name="indMod">indMod: <a href="TermIndMod.html" name="provingground.interface.TermIndMod" id="provingground.interface.TermIndMod" class="extype">TermIndMod</a></span>, <span name="argsFmly">argsFmly: <a