/div><div id="visbl"><span class="filtertype">Visibility</span><ol><li class="public in"><span>Public</span></li><li class="protected out"><span>Protected</span></li></ol></div></div></div><div id="template"><div id="allMembers"><div class="values members"><h3>Abstract Value Members</h3><ol><li class="indented0 " name="provingground.translation.FreeExpr#as" group="Ungrouped" fullComment="no" data-isabs="true" visbl="pub"><a id="as[E](implicitl:provingground.translation.ExprLang[E]):Option[E]"></a><a id="as[