me">ApplnParseException</span><span class="params">(<span name="fe">fe: <span name="trepplein.Expr" class="extype">Expr</span></span>, <span name="ae">ae: <span name="trepplein.Expr" class="extype">Expr</span></span>, <span name="func">func: <a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a></span>, <span name="arg">arg: <a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a></span>, <span 