src/img/trpl17-08.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="100pt"
 viewBox="0.00 0.00 1113.00 421.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 97)">
<polygon fill="white" stroke="none" points="-4,4 -4,-97 263.1,-97 263.1,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_deref</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="82,-8 82,-85 251.1,-85 251.1,-8 82,-8"/>
<text text-anchor="middle" x="166.55" y="-67.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="15,-45 39,-45"/>
<text text-anchor="start" x="18" y="-51.2" font-family="Times,serif" font-size="14.00">Pin</text>
<polygon fill="none" stroke="black" points="15,-22.5 15,-45 39,-45 39,-22.5 15,-22.5"/>
<text text-anchor="start" x="25.12" y="-28.7" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- pin -->
<g id="node2" class="node">
<title>pin</title>
<ellipse fill="black" stroke="black" cx="91.8" cy="-34" 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="M28,-33.75C28,-33.75 81.37,-33.96 89.71,-34"/>
</g>
<!-- fut -->
<g id="node3" class="node">
<title>fut</title>
<polygon fill="none" stroke="black" points="137.6,-22.75 137.6,-45.25 178.1,-45.25 178.1,-22.75 137.6,-22.75"/>
<text text-anchor="start" x="140.6" y="-28.95" font-family="Times,serif" font-size="14.00">5usize</text>
<polygon fill="none" stroke="black" points="178.1,-22.75 178.1,-45.25 190.85,-45.25 190.85,-22.75 178.1,-22.75"/>
<text text-anchor="start" x="181.1" y="-28.95" font-family="Times,serif" font-size="14.00">h</text>
<polygon fill="none" stroke="black" points="190.85,-22.75 190.85,-45.25 202.85,-45.25 202.85,-22.75 190.85,-22.75"/>
<text text-anchor="start" x="193.85" y="-28.95" font-family="Times,serif" font-size="14.00">e</text>
<polygon fill="none" stroke="black" points="202.85,-22.75 202.85,-45.25 212.6,-45.25 212.6,-22.75 202.85,-22.75"/>
<text text-anchor="start" x="205.85" y="-28.95" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="212.6,-22.75 212.6,-45.25 222.35,-45.25 222.35,-22.75 212.6,-22.75"/>
<text text-anchor="start" x="215.6" y="-28.95" font-family="Times,serif" font-size="14.00">l</text>
<polygon fill="none" stroke="black" points="222.35,-22.75 222.35,-45.25 235.1,-45.25 235.1,-22.75 222.35,-22.75"/>
<text text-anchor="start" x="225.35" y="-28.95" font-family="Times,serif" font-size="14.00">o</text>
</g>
<!-- pin&#45;&gt;fut -->
<g id="edge2" class="edge">
<title>pin&#45;&gt;fut:target</title>
<path fill="none" stroke="black" d="M92.8,-34C92.8,-34 112.11,-34 125.09,-34"/>
<polygon fill="black" stroke="black" points="125.09,-37.5 135.09,-34 125.09,-30.5 125.09,-37.5"/>
</g>
</g>
</svg>