">E</span>], <a href="Statement.html" name="provingground.translation.Statement" id="provingground.translation.Statement" class="extype">Statement</a>[<span name="provingground.translation.Statement.Definition.E" class="extype">E</span>], <a href="../../scala/index.html#AnyRef=Object" name="scala.AnyRef" id="scala.AnyRef" class="extmbr">AnyRef</a>, <span name="scala.Any" class="extype">Any</span></div></div></div><div id="inheritance-diagram-container" class="toggleContainer block diagram-container"><span c