"protected out"><span>Protected</span></li></ol></div></div></div><div id="template"><div id="allMembers"><div id="constructors" class="members"><h3>Instance Constructors</h3><ol><li class="indented0 " name="provingground.translation.Statement.Define#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(name:S,typ:E)(implicitevidence$1:provingground.translation.ExprLang[E]):provingground.translation.Statement.Define[S,E]"></a><a id="&lt;init&gt;:Define[S,E]"></a