"Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(name:S,typ:E,value:E)(implicitevidence$2:provingground.translation.ExprLang[E]):provingground.translation.Statement.Definition[S,E]"></a><a id="&lt;init&gt;:Definition[S,E]"></a> <span class="permalink"><a href="../../provingground/translation/Statement$$Definition.html#&lt;init&gt;(name:S,typ:E,value:E)(implicitevidence$2:provingground.translation.ExprLang[E]):provingground.translation.Statement.Definition[S,E]" title="Permalin