op-cast.svg 912 B

12345678910111213141516171819202122
  1. <svg xmlns="http://www.w3.org/2000/svg" width="215" height="37">
  2. <polygon points="9 17 1 13 1 21"/>
  3. <polygon points="17 17 9 13 9 21"/>
  4. <rect x="31" y="3" width="38" height="32"/>
  5. <rect x="29" y="1" width="38" height="32" class="nonterminal"/>
  6. <text class="nonterminal" x="39" y="21">val</text>
  7. <rect x="89" y="3" width="28" height="32" rx="10"/>
  8. <rect x="87"
  9. y="1"
  10. width="28"
  11. height="32"
  12. class="terminal"
  13. rx="10"/>
  14. <text class="terminal" x="97" y="21">::</text>
  15. <rect x="137" y="3" width="50" height="32"/>
  16. <rect x="135" y="1" width="50" height="32" class="nonterminal"/>
  17. <text class="nonterminal" x="145" y="21">type</text>
  18. <path class="line"
  19. d="m17 17 h2 m0 0 h10 m38 0 h10 m0 0 h10 m28 0 h10 m0 0 h10 m50 0 h10 m3 0 h-3"/>
  20. <polygon points="205 17 213 13 213 21"/>
  21. <polygon points="205 17 197 13 197 21"/>
  22. </svg>