27 lines
1.5 KiB
XML
27 lines
1.5 KiB
XML
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
||
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
||
|
|
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
|
||
|
|
-->
|
||
|
|
<!-- Title: %3 Pages: 1 -->
|
||
|
|
<svg width="250pt"
|
||
|
|
viewBox="0.00 0.00 363.00 342.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
||
|
|
<g id="graph0" class="graph" transform="scale(4.1667 4.1667) rotate(0) translate(4 78)">
|
||
|
|
<title>%3</title>
|
||
|
|
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-78 83,-78 83,4 -4,4"/>
|
||
|
|
<!-- table0 -->
|
||
|
|
<g id="node1" class="node">
|
||
|
|
<title>table0</title>
|
||
|
|
<polyline fill="none" stroke="#000000" points="8.5,-50 71.5,-50 "/>
|
||
|
|
<text text-anchor="start" x="25.6069" y="-55.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cons</text>
|
||
|
|
<polygon fill="none" stroke="#000000" points="8.5,-4 8.5,-50 31.5,-50 31.5,-4 8.5,-4"/>
|
||
|
|
<text text-anchor="start" x="11.0552" y="-22.8" font-family="Times,serif" font-size="14.00" fill="#000000">i32</text>
|
||
|
|
<polygon fill="none" stroke="#000000" points="31.5,-4 31.5,-50 71.5,-50 71.5,-4 31.5,-4"/>
|
||
|
|
<polyline fill="none" stroke="#000000" points="34.5,-27 68.5,-27 "/>
|
||
|
|
<text text-anchor="start" x="39.8311" y="-32.8" font-family="Times,serif" font-size="14.00" fill="#000000">Box</text>
|
||
|
|
<polygon fill="none" stroke="#000000" points="34.5,-7 34.5,-27 68.5,-27 68.5,-7 34.5,-7"/>
|
||
|
|
<text text-anchor="start" x="37.1172" y="-12.8" font-family="Times,serif" font-size="14.00" fill="#000000">usize</text>
|
||
|
|
</g>
|
||
|
|
</g>
|
||
|
|
</svg>
|