cons-cells/img/leaf-tree.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 2.40.1 (20161225.0304)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="173pt" height="188pt"
 viewBox="0.00 0.00 173.00 188.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 184)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-184 169,-184 169,4 -4,4"/>
<!-- u1 -->
<g id="node1" class="node">
<title>u1</title>
<ellipse fill="none" stroke="#000000" cx="63" cy="-162" rx="27" ry="18"/>
</g>
<!-- u2 -->
<g id="node2" class="node">
<title>u2</title>
<ellipse fill="none" stroke="#000000" cx="27" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
</g>
<!-- u1&#45;&gt;u2 -->
<g id="edge1" class="edge">
<title>u1&#45;&gt;u2</title>
<path fill="none" stroke="#000000" d="M54.2854,-144.5708C50.0403,-136.0807 44.8464,-125.6929 40.1337,-116.2674"/>
<polygon fill="#000000" stroke="#000000" points="43.237,-114.6477 35.6343,-107.2687 36.976,-117.7782 43.237,-114.6477"/>
</g>
<!-- u3 -->
<g id="node3" class="node">
<title>u3</title>
<ellipse fill="none" stroke="#000000" cx="99" cy="-90" rx="27" ry="18"/>
</g>
<!-- u1&#45;&gt;u3 -->
<g id="edge2" class="edge">
<title>u1&#45;&gt;u3</title>
<path fill="none" stroke="#000000" d="M71.7146,-144.5708C75.9597,-136.0807 81.1536,-125.6929 85.8663,-116.2674"/>
<polygon fill="#000000" stroke="#000000" points="89.024,-117.7782 90.3657,-107.2687 82.763,-114.6477 89.024,-117.7782"/>
</g>
<!-- u4 -->
<g id="node4" class="node">
<title>u4</title>
<ellipse fill="none" stroke="#000000" cx="59" cy="-18" rx="33.5952" ry="18"/>
<text text-anchor="middle" x="59" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">&quot;foo&quot;</text>
</g>
<!-- u3&#45;&gt;u4 -->
<g id="edge3" class="edge">
<title>u3&#45;&gt;u4</title>
<path fill="none" stroke="#000000" d="M89.5206,-72.937C84.7585,-64.3654 78.8841,-53.7914 73.5647,-44.2165"/>
<polygon fill="#000000" stroke="#000000" points="76.6053,-42.4825 68.6893,-35.4407 70.4862,-45.882 76.6053,-42.4825"/>
</g>
<!-- u5 -->
<!-- u3&#45;&gt;u5 -->
</g>
</svg>