er"></span> <span class="kind">case class</span></span> <span class="symbol"><span class="name">Definition</span><span class="tparams">[<span name="S">S</span>, <span name="E">E</span>]</span><span class="params">(<span name="name">name: <span name="provingground.translation.Statement.Definition.S" class="extype">S</span></span>, <span name="typ">typ: <span name="provingground.translation.Statement.Definition.E" class="extype">E</span></span>, <span name="value">value: <span name="provingground.translation.