src/img/trpl17-09.svg

<?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 12.1.1 (20240910.0053)
 -->
<!-- Pages: 1 -->
<svg height="200pt"
 viewBox="0.00 0.00 1557.00 777.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 182.5)">
<polygon fill="white" stroke="none" points="-4,4 -4,-182.5 369.6,-182.5 369.6,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_both</title>
</g>
<g id="clust2" class="cluster">
<title>cluster_deref</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="154,-16 154,-109 349.6,-109 349.6,-16 154,-16"/>
<text text-anchor="middle" x="251.8" y="-91.7" font-family="Times,serif" font-size="14.00">String</text>
</g>
<!-- pinned_box -->
<g id="node1" class="node">
<title>pinned_box</title>
<polyline fill="none" stroke="black" points="59,-152 83,-152"/>
<text text-anchor="start" x="62" y="-158.2" font-family="Times,serif" font-size="14.00">Pin</text>
<polygon fill="none" stroke="black" points="59,-129.5 59,-152 83,-152 83,-129.5 59,-129.5"/>
<text text-anchor="start" x="69.12" y="-135.7" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- pin -->
<g id="node3" class="node">
<title>pin</title>
<ellipse fill="black" stroke="black" cx="163.8" cy="-57" rx="1.8" ry="1.8"/>
</g>
<!-- pinned_box&#45;&gt;pin -->
<g id="edge1" class="edge">
<title>pinned_box:c&#45;&gt;pin</title>
<path fill="none" stroke="black" d="M72,-140.75C72,-140.75 151.8,-67.14 161.78,-57.94"/>
</g>
<!-- string1 -->
<g id="node2" class="node">
<title>string1</title>
<polygon fill="lightgray" stroke="none" points="24,-39 24,-83 118,-83 118,-39 24,-39"/>
<polyline fill="none" stroke="black" points="24,-61 118,-61"/>
<text text-anchor="start" x="65" y="-66.7" font-family="Times,serif" font-size="14.00">s1</text>
<polygon fill="none" stroke="black" points="24,-39 24,-61 64,-61 64,-39 24,-39"/>
<text text-anchor="start" x="26.75" y="-44.7" font-family="Times,serif" font-size="14.00">5usize</text>
<polygon fill="none" stroke="black" points="64,-39 64,-61 76,-61 76,-39 64,-39"/>
<text text-anchor="start" x="66.62" y="-44.7" font-family="Times,serif" font-size="14.00">h</text>
<polygon fill="none" stroke="black" points="76,-39 76,-61 88,-61 88,-39 76,-39"/>
<text text-anchor="start" x="79" y="-44.7" font-family="Times,serif" font-size="14.00">e</text>
<polygon fill="none" stroke="black" points="88,-39 88,-61 97,-61 97,-39 88,-39"/>
<text text-anchor="start" x="90.62" y="-44.7" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="97,-39 97,-61 106,-61 106,-39 97,-39"/>
<text text-anchor="start" x="99.62" y="-44.7" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="106,-39 106,-61 118,-61 118,-39 106,-39"/>
<text text-anchor="start" x="108.62" y="-44.7" font-family="Times,serif" font-size="14.00">o</text>
</g>
<!-- string2 -->
<g id="node4" class="node">
<title>string2</title>
<polyline fill="none" stroke="black" points="209.6,-50 333.6,-50"/>
<text text-anchor="start" x="265.6" y="-55.7" font-family="Times,serif" font-size="14.00">s2</text>
<polygon fill="none" stroke="black" points="209.6,-28 209.6,-50 249.6,-50 249.6,-28 209.6,-28"/>
<text text-anchor="start" x="212.35" y="-33.7" font-family="Times,serif" font-size="14.00">7usize</text>
<polygon fill="none" stroke="black" points="249.6,-28 249.6,-50 261.6,-50 261.6,-28 249.6,-28"/>
<text text-anchor="start" x="252.23" y="-33.7" font-family="Times,serif" font-size="14.00">g</text>
<polygon fill="none" stroke="black" points="261.6,-28 261.6,-50 273.6,-50 273.6,-28 261.6,-28"/>
<text text-anchor="start" x="264.23" y="-33.7" font-family="Times,serif" font-size="14.00">o</text>
<polygon fill="none" stroke="black" points="273.6,-28 273.6,-50 285.6,-50 285.6,-28 273.6,-28"/>
<text text-anchor="start" x="276.23" y="-33.7" font-family="Times,serif" font-size="14.00">o</text>
<polygon fill="none" stroke="black" points="285.6,-28 285.6,-50 297.6,-50 297.6,-28 285.6,-28"/>
<text text-anchor="start" x="288.23" y="-33.7" font-family="Times,serif" font-size="14.00">d</text>
<polygon fill="none" stroke="black" points="297.6,-28 297.6,-50 309.6,-50 309.6,-28 297.6,-28"/>
<text text-anchor="start" x="300.23" y="-33.7" font-family="Times,serif" font-size="14.00">b</text>
<polygon fill="none" stroke="black" points="309.6,-28 309.6,-50 321.6,-50 321.6,-28 309.6,-28"/>
<text text-anchor="start" x="312.23" y="-33.7" font-family="Times,serif" font-size="14.00">y</text>
<polygon fill="none" stroke="black" points="321.6,-28 321.6,-50 333.6,-50 333.6,-28 321.6,-28"/>
<text text-anchor="start" x="324.6" y="-33.7" font-family="Times,serif" font-size="14.00">e</text>
</g>
<!-- pin&#45;&gt;string2 -->
<g id="edge2" class="edge">
<title>pin&#45;&gt;string2:target</title>
<path fill="none" stroke="black" d="M164.8,-57C164.8,-57 185.03,-48.68 198,-43.36"/>
<polygon fill="black" stroke="black" points="199.28,-46.61 207.2,-39.58 196.62,-40.14 199.28,-46.61"/>
</g>
</g>
</svg>