t.Define" id="provingground.translation.Statement.Define" class="extype">Define</a>[<span name="provingground.translation.Statement.Define.S" class="extype">S</span>, <span name="provingground.translation.Statement.Define.E" class="extype">E</span>]] performed by method StringFormat in scala.Predef.</dd><dt>Definition Classes</dt><dd>StringFormat</dd><dt>Annotations</dt><dd><span class="name">@inline</span><span class="args">()</span> </dd></dl></div></li><li class="indented0 " name="scala.AnyRef#getClass" 