TypeAnalysis continued

1 files changed, 155 insertions, 0 deletions

diff --git a/docs/lattice_i2.svg b/docs/lattice_i2.svg
new file mode 100644
index 00000000..ab10c485
--- /dev/null
+++ b/docs/lattice_i2.svg
@@ -0,0 +1,155 @@
+<?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.2.0 (20241103.1931)

+ -->

+<!-- Title: Lattice Pages: 1 -->

+<svg width="272pt" height="632pt"

+ viewBox="0.00 0.00 271.89 632.50" 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 628.5)">

+<title>Lattice</title>

+<polygon fill="white" stroke="none" points="-4,4 -4,-628.5 267.89,-628.5 267.89,4 -4,4"/>

+<!-- TOP -->

+<g id="node1" class="node">

+<title>TOP</title>

+<ellipse fill="black" stroke="black" cx="143" cy="-603.37" rx="21.12" ry="21.12"/>

+<text text-anchor="start" x="135.12" y="-598.95" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊤</text>

+</g>

+<!-- INT_TOP -->

+<g id="node3" class="node">

+<title>INT_TOP</title>

+<ellipse fill="lightblue" stroke="black" cx="143" cy="-528.25" rx="33.95" ry="18"/>

+<text text-anchor="start" x="126.12" y="-524.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>

+<text text-anchor="start" x="141.88" y="-524.2" font-family="Times New Roman,serif" font-size="14.00">:int</text>

+</g>

+<!-- TOP&#45;&gt;INT_TOP -->

+<g id="edge1" class="edge">

+<title>TOP&#45;&gt;INT_TOP</title>

+<path fill="none" stroke="black" d="M143,-582C143,-574.51 143,-565.87 143,-557.79"/>

+<polygon fill="black" stroke="black" points="146.5,-558.05 143,-548.05 139.5,-558.05 146.5,-558.05"/>

+</g>

+<!-- BOT -->

+<g id="node2" class="node">

+<title>BOT</title>

+<ellipse fill="black" stroke="black" cx="143" cy="-21.12" rx="21.12" ry="21.12"/>

+<text text-anchor="start" x="135.12" y="-16.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊥</text>

+</g>

+<!-- INT_HI -->

+<g id="node5" class="node">

+<title>INT_HI</title>

+<ellipse fill="lightblue" stroke="black" cx="143" cy="-456.25" rx="52.89" ry="18"/>

+<text text-anchor="middle" x="143" y="-451.2" font-family="Times New Roman,serif" font-size="14.00">max &lt; min</text>

+</g>

+<!-- INT_TOP&#45;&gt;INT_HI -->

+<g id="edge2" class="edge">

+<title>INT_TOP&#45;&gt;INT_HI</title>

+<path fill="none" stroke="black" d="M143,-509.94C143,-502.65 143,-493.97 143,-485.78"/>

+<polygon fill="black" stroke="black" points="146.5,-485.87 143,-475.87 139.5,-485.87 146.5,-485.87"/>

+</g>

+<!-- INT_BOT -->

+<g id="node4" class="node">

+<title>INT_BOT</title>

+<ellipse fill="lightblue" stroke="black" cx="143" cy="-96.25" rx="33.95" ry="18"/>

+<text text-anchor="start" x="126.12" y="-92.2" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>

+<text text-anchor="start" x="141.88" y="-92.2" font-family="Times New Roman,serif" font-size="14.00">:int</text>

+</g>

+<!-- INT_BOT&#45;&gt;BOT -->

+<g id="edge12" class="edge">

+<title>INT_BOT&#45;&gt;BOT</title>

+<path fill="none" stroke="black" d="M143,-77.92C143,-70.74 143,-62.18 143,-53.95"/>

+<polygon fill="black" stroke="black" points="146.5,-54.22 143,-44.22 139.5,-54.22 146.5,-54.22"/>

+</g>

+<!-- INT_XBOOL -->

+<g id="node6" class="node">

+<title>INT_XBOOL</title>

+<ellipse fill="lightblue" stroke="black" cx="97" cy="-384.25" rx="27.81" ry="18"/>

+<text text-anchor="middle" x="97" y="-379.2" font-family="Times New Roman,serif" font-size="14.00">1...0</text>

+</g>

+<!-- INT_HI&#45;&gt;INT_XBOOL -->

+<g id="edge3" class="edge">

+<title>INT_HI&#45;&gt;INT_XBOOL</title>

+<path fill="none" stroke="black" d="M131.86,-438.3C126.4,-429.98 119.7,-419.79 113.64,-410.57"/>

+<polygon fill="black" stroke="black" points="116.65,-408.78 108.23,-402.34 110.8,-412.62 116.65,-408.78"/>

+</g>

+<!-- INT_CON -->

+<g id="node7" class="node">

+<title>INT_CON</title>

+<ellipse fill="lightblue" stroke="black" cx="211" cy="-312.25" rx="52.89" ry="18"/>

+<text text-anchor="middle" x="211" y="-307.2" font-family="Times New Roman,serif" font-size="14.00">constants...</text>

+</g>

+<!-- INT_HI&#45;&gt;INT_CON -->

+<g id="edge6" class="edge">

+<title>INT_HI&#45;&gt;INT_CON</title>

+<path fill="none" stroke="black" d="M151.61,-438.01C163.21,-413.45 183.97,-369.5 197.61,-340.6"/>

+<polygon fill="black" stroke="black" points="200.71,-342.24 201.81,-331.71 194.38,-339.25 200.71,-342.24"/>

+</g>

+<!-- INT_CON0 -->

+<g id="node8" class="node">

+<title>INT_CON0</title>

+<ellipse fill="lightblue" stroke="black" cx="18" cy="-312.25" rx="18" ry="18"/>

+<text text-anchor="middle" x="18" y="-307.2" font-family="Times New Roman,serif" font-size="14.00">0</text>

+</g>

+<!-- INT_XBOOL&#45;&gt;INT_CON0 -->

+<g id="edge4" class="edge">

+<title>INT_XBOOL&#45;&gt;INT_CON0</title>

+<path fill="none" stroke="black" d="M81.01,-369.08C69.07,-358.5 52.62,-343.92 39.52,-332.32"/>

+<polygon fill="black" stroke="black" points="42.03,-329.86 32.22,-325.85 37.38,-335.1 42.03,-329.86"/>

+</g>

+<!-- INT_CON1 -->

+<g id="node9" class="node">

+<title>INT_CON1</title>

+<ellipse fill="lightblue" stroke="black" cx="97" cy="-312.25" rx="18" ry="18"/>

+<text text-anchor="middle" x="97" y="-307.2" font-family="Times New Roman,serif" font-size="14.00">1</text>

+</g>

+<!-- INT_XBOOL&#45;&gt;INT_CON1 -->

+<g id="edge5" class="edge">

+<title>INT_XBOOL&#45;&gt;INT_CON1</title>

+<path fill="none" stroke="black" d="M97,-365.94C97,-358.65 97,-349.97 97,-341.78"/>

+<polygon fill="black" stroke="black" points="100.5,-341.87 97,-331.87 93.5,-341.87 100.5,-341.87"/>

+</g>

+<!-- INT_LO -->

+<g id="node11" class="node">

+<title>INT_LO</title>

+<ellipse fill="lightblue" stroke="black" cx="143" cy="-168.25" rx="52.89" ry="18"/>

+<text text-anchor="middle" x="143" y="-163.2" font-family="Times New Roman,serif" font-size="14.00">max &gt; min</text>

+</g>

+<!-- INT_CON&#45;&gt;INT_LO -->

+<g id="edge10" class="edge">

+<title>INT_CON&#45;&gt;INT_LO</title>

+<path fill="none" stroke="black" d="M202.39,-294.01C190.79,-269.45 170.03,-225.5 156.39,-196.6"/>

+<polygon fill="black" stroke="black" points="159.62,-195.25 152.19,-187.71 153.29,-198.24 159.62,-195.25"/>

+</g>

+<!-- INT_CON0&#45;&gt;INT_CON1 -->

+<!-- INT_BOOL -->

+<g id="node10" class="node">

+<title>INT_BOOL</title>

+<ellipse fill="lightblue" stroke="black" cx="97" cy="-240.25" rx="27.81" ry="18"/>

+<text text-anchor="middle" x="97" y="-235.2" font-family="Times New Roman,serif" font-size="14.00">0...1</text>

+</g>

+<!-- INT_CON0&#45;&gt;INT_BOOL -->

+<g id="edge7" class="edge">

+<title>INT_CON0&#45;&gt;INT_BOOL</title>

+<path fill="none" stroke="black" d="M31.05,-299.69C42.33,-289.69 58.96,-274.96 72.69,-262.79"/>

+<polygon fill="black" stroke="black" points="74.92,-265.49 80.08,-256.24 70.27,-260.25 74.92,-265.49"/>

+</g>

+<!-- INT_CON1&#45;&gt;INT_CON -->

+<!-- INT_CON1&#45;&gt;INT_BOOL -->

+<g id="edge8" class="edge">

+<title>INT_CON1&#45;&gt;INT_BOOL</title>

+<path fill="none" stroke="black" d="M97,-293.94C97,-286.65 97,-277.97 97,-269.78"/>

+<polygon fill="black" stroke="black" points="100.5,-269.87 97,-259.87 93.5,-269.87 100.5,-269.87"/>

+</g>

+<!-- INT_BOOL&#45;&gt;INT_LO -->

+<g id="edge9" class="edge">

+<title>INT_BOOL&#45;&gt;INT_LO</title>

+<path fill="none" stroke="black" d="M107.44,-223.36C112.87,-215.1 119.65,-204.79 125.82,-195.39"/>

+<polygon fill="black" stroke="black" points="128.56,-197.59 131.13,-187.31 122.71,-193.75 128.56,-197.59"/>

+</g>

+<!-- INT_LO&#45;&gt;INT_BOT -->

+<g id="edge11" class="edge">

+<title>INT_LO&#45;&gt;INT_BOT</title>

+<path fill="none" stroke="black" d="M143,-149.94C143,-142.65 143,-133.97 143,-125.78"/>

+<polygon fill="black" stroke="black" points="146.5,-125.87 143,-115.87 139.5,-125.87 146.5,-125.87"/>

+</g>

+</g>

+</svg>