func-cast.svg 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. <svg xmlns="http://www.w3.org/2000/svg" width="399" 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="60" height="32" rx="10"/>
  5. <rect x="29"
  6. y="1"
  7. width="60"
  8. height="32"
  9. class="terminal"
  10. rx="10"/>
  11. <text class="terminal" x="39" y="21">CAST</text>
  12. <rect x="111" y="3" width="26" height="32" rx="10"/>
  13. <rect x="109"
  14. y="1"
  15. width="26"
  16. height="32"
  17. class="terminal"
  18. rx="10"/>
  19. <text class="terminal" x="119" y="21">(</text>
  20. <rect x="157" y="3" width="38" height="32"/>
  21. <rect x="155" y="1" width="38" height="32" class="nonterminal"/>
  22. <text class="nonterminal" x="165" y="21">val</text>
  23. <rect x="215" y="3" width="40" height="32" rx="10"/>
  24. <rect x="213"
  25. y="1"
  26. width="40"
  27. height="32"
  28. class="terminal"
  29. rx="10"/>
  30. <text class="terminal" x="223" y="21">AS</text>
  31. <rect x="275" y="3" width="50" height="32"/>
  32. <rect x="273" y="1" width="50" height="32" class="nonterminal"/>
  33. <text class="nonterminal" x="283" y="21">type</text>
  34. <rect x="345" y="3" width="26" height="32" rx="10"/>
  35. <rect x="343"
  36. y="1"
  37. width="26"
  38. height="32"
  39. class="terminal"
  40. rx="10"/>
  41. <text class="terminal" x="353" y="21">)</text>
  42. <path class="line"
  43. d="m17 17 h2 m0 0 h10 m60 0 h10 m0 0 h10 m26 0 h10 m0 0 h10 m38 0 h10 m0 0 h10 m40 0 h10 m0 0 h10 m50 0 h10 m0 0 h10 m26 0 h10 m3 0 h-3"/>
  44. <polygon points="389 17 397 13 397 21"/>
  45. <polygon points="389 17 381 13 381 21"/>
  46. </svg>