id="template"><div id="allMembers"><div id="constructors" class="members"><h3>Instance Constructors</h3><ol><li class="indented0 " name="provingground.interface.LeanParser.ApplnParseException#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(fe:trepplein.Expr,ae:trepplein.Expr,func:provingground.HoTT.Term,arg:provingground.HoTT.Term,vars:Vector[provingground.HoTT.Term]):provingground.interface.LeanParser.ApplnParseException"></a><a id="&lt;init&gt;:ApplnPars