ment.Definition" id="provingground.translation.Statement.Definition" class="extype">Definition</a>[<span name="provingground.translation.Statement.Definition.S" class="extype">S</span>, <span name="provingground.translation.Statement.Definition.E" class="extype">E</span>] to <span name="scala.Predef.StringFormat" class="extype">StringFormat</span>[<a href="" name="provingground.translation.Statement.Definition" id="provingground.translation.Statement.Definition" class="extype">Definition</a>[<span name="pro