">Show graph</button>
     <svg id="graph"></svg>
     <script type="text/dot" id="dot"> digraph g {
 node0 [id=node0, label="<span style=\"color: #FFFFFF;\">sealed trait <a href=\"Syntaxes$Syntax$$Binary.html\" t=\"n\">Binary</a>[<span t=\"t\">A</span>, <span t=\"t\">B</span>]</span>", class="trait vertex"];
node1 [id=node1, label="<span style=\"color: #FFFFFF;\">class <span data-unresolved-link=\"\" t=\"n\">Object</span></span>", class="class vertex"];
node2 [id=node2, label="<span style=\"color: #FFFFFF;