dd from<a href="" name="provingground.interface.Display" id="provingground.interface.Display" class="extype">Display</a>[<span name="provingground.interface.Display.A" class="extype">A</span>] to <span name="scala.Predef.any2stringadd" class="extype">any2stringadd</span>[<a href="" name="provingground.interface.Display" id="provingground.interface.Display" class="extype">Display</a>[<span name="provingground.interface.Display.A" class="extype">A</span>]]</h3></div><div name="scala.Predef.StringFormat" class