bex 0.3.0

<!-- Tufts VUE 3.3.0 concept-map (bex-types.vue) 2023-03-22 -->
<!-- Tufts VUE: http://vue.tufts.edu/ -->
<!-- Do Not Remove: VUE mapping @version(1.1) jar:file:/C:/Program%20Files%20(x86)/VUE/VUE.jar!/tufts/vue/resources/lw_mapping_1_1.xml -->
<!-- Do Not Remove: Saved date Wed Mar 22 16:33:54 EDT 2023 by michal on platform Windows 8 6.2 in JVM 1.7.0_21-b11 -->
<!-- Do Not Remove: Saving version @(#)VUE: built October 8 2015 at 1658 by tomadm on Linux 2.6.32-504.23.4.el6.x86_64 i386 JVM 1.7.0_21-b11(bits=32) -->
<?xml version="1.0" encoding="US-ASCII"?>
<LW-MAP xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:noNamespaceSchemaLocation="none" ID="0" label="bex-types.vue"
    created="1590418643801" x="0.0" y="0.0" width="1.4E-45"
    height="1.4E-45" strokeWidth="0.0" autoSized="false">
    <resource referenceCreated="1679517234824" size="115510"
        spec="D:\ver\bex\doc\bex-types.vue" type="1" xsi:type="URLResource">
        <title>bex-types.vue</title>
        <property key="File" value="D:\ver\bex\doc\bex-types.vue"/>
    </resource>
    <fillColor>#333333</fillColor>
    <strokeColor>#404040</strokeColor>
    <textColor>#000000</textColor>
    <font>SansSerif-plain-14</font>
    <URIString>http://vue.tufts.edu/rdf/resource/4c5d81a8c0a800750116aba6dc8d68cc</URIString>
    <child ID="35" label="trait base::Base" layerID="1"
        created="1590419283801" x="140.54712" y="-527.5899"
        width="703.0" height="443.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Consolas-bold-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/4c6371f7c0a800750116aba6271d6a91</URIString>
        <child ID="70"
            label="&#xa0; fn &#xa;        new()->Self &#xa;        where Self:Sized;"
            created="1678730857109" x="34.0" y="30.0" width="664.0"
            height="39.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc290024c0a83801011bad8dd8ee45b3</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;new&lt;/font&gt;&lt;font color="#f8f8f8"&gt;()&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;Self&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;where&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;Self:&lt;/font&gt;&lt;font color="#9df39f"&gt;Sized&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>&#xa0; fn 
        new()-&gt;Self 
        where Self:Sized;</label>
        </child>
        <child ID="66"
            label="&#xa0; fn &#xa;        when_hi(&amp;mut &#xa;        self, v:VID, n:NID)->NID; &#xa0; fn &#xa;        when_lo(&amp;mut &#xa;        self, v:VID, n:NID)->NID; &#xa0; fn &#xa;        sub(&amp;mut &#xa;        self, v:VID, n:NID, &#xa;        ctx:NID)->NID;"
            created="1678730735028" x="34.0" y="72.0" width="664.0"
            height="85.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc290006c0a83801011bad8df4c05020</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;when_hi&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;when_lo&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;sub&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;ctx&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>&#xa0; fn 
        when_hi(&amp;mut 
        self, v:VID, n:NID)-&gt;NID; &#xa0; fn 
        when_lo(&amp;mut 
        self, v:VID, n:NID)-&gt;NID; &#xa0; fn 
        sub(&amp;mut 
        self, v:VID, n:NID, 
        ctx:NID)-&gt;NID;</label>
        </child>
        <child ID="61"
            label="&#xa0; fn &#xa;        and(&amp;mut &#xa;        self, x:NID, y:NID)->NID; &#xa0; fn &#xa;        xor(&amp;mut &#xa;        self, x:NID, y:NID)->NID; &#xa0; fn &#xa;        or(&amp;mut &#xa;        self, x:NID, y:NID)->NID;"
            created="1678730660339" x="34.0" y="160.0" width="664.0"
            height="83.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc290006c0a83801011bad8d4ff16e30</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#f8f8f8" style="color: #f8f8f8"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #f8f8f8; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #f8f8f8; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;and&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;y&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;xor&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;y&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;or&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;y&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#f8f8f8" style="color: #f8f8f8"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>&#xa0; fn 
        and(&amp;mut 
        self, x:NID, y:NID)-&gt;NID; &#xa0; fn 
        xor(&amp;mut 
        self, x:NID, y:NID)-&gt;NID; &#xa0; fn 
        or(&amp;mut 
        self, x:NID, y:NID)-&gt;NID;</label>
        </child>
        <child ID="60"
            label="&#xa0; fn &#xa;        def(&amp;mut &#xa;        self, s:String, v:VID)->NID; &#xa0; fn &#xa;        tag(&amp;mut &#xa;        self, n:NID, s:String)->NID; &#xa0; fn &#xa;        get(&amp;self, &#xa;        s:&amp;str)->Option&lt;NID>;"
            created="1678730583008" x="34.0" y="246.0" width="664.0"
            height="83.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc290007c0a83801011bad8d175f6bb6</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;def&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;s&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;String&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;tag&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;s&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;String&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;get&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;s&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&amp;amp;&lt;/font&gt;&lt;font color="#9df39f"&gt;str&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;Option&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;;&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>&#xa0; fn 
        def(&amp;mut 
        self, s:String, v:VID)-&gt;NID; &#xa0; fn 
        tag(&amp;mut 
        self, n:NID, s:String)-&gt;NID; &#xa0; fn 
        get(&amp;self, 
        s:&amp;str)-&gt;Option&lt;NID&gt;;</label>
        </child>
        <child ID="58"
            label="&#xa0; fn &#xa;        save(&amp;self, &#xa;        path:&amp;str)->::std::io::Result&lt;()>; &#xa0; fn &#xa;        dot(&amp;self, &#xa;        n:NID, wr: &amp;mut dyn &#xa;        std::fmt::Write);"
            created="1678730494990" x="34.0" y="332.0" width="664.0"
            height="61.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc290007c0a83801011bad8d7ee15f92</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;save&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;path&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&amp;amp;&lt;/font&gt;&lt;font color="#9df39f"&gt;str&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;::&lt;/font&gt;&lt;font color="#fec758"&gt;std&lt;/font&gt;&lt;font color="#f12727"&gt;::&lt;/font&gt;&lt;font color="#fec758"&gt;io&lt;/font&gt;&lt;font color="#f12727"&gt;::&lt;/font&gt;&lt;font color="#9df39f"&gt;Result&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;()&amp;gt;;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;dot&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;wr&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;mut&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;dyn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;std&lt;/font&gt;&lt;font color="#f12727"&gt;::&lt;/font&gt;&lt;font color="#fec758"&gt;fmt&lt;/font&gt;&lt;font color="#f12727"&gt;::&lt;/font&gt;&lt;font color="#9df39f"&gt;Write&lt;/font&gt;&lt;font color="#f8f8f8"&gt;);&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>&#xa0; fn 
        save(&amp;self, 
        path:&amp;str)-&gt;::std::io::Result&lt;()&gt;; &#xa0; fn 
        dot(&amp;self, 
        n:NID, wr: &amp;mut dyn 
        std::fmt::Write);</label>
        </child>
        <child ID="68"
            label="&#xa0; fn &#xa;        solution_set(&amp;self, &#xa;        _n:NID, _nvars:usize)->HashSet&lt;Reg>"
            created="1678730764452" x="34.0" y="396.0" width="664.0"
            height="41.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc290024c0a83801011bad8d3eb4b3e6</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;fn&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;solution_set&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#f12727"&gt;&amp;amp;self&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;_n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;_nvars&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#9df39f"&gt;usize&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&lt;/font&gt;&lt;font color="#f12727"&gt;-&amp;gt;&lt;/font&gt;&lt;font color="#fec758"&gt;HashSet&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Reg&lt;/font&gt;&amp;gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>&#xa0; fn 
        solution_set(&amp;self, 
        _n:NID, _nvars:usize)-&gt;HashSet&lt;Reg&gt;</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="39" label="bex data types" layerID="1"
        created="1678729957184" x="-822.2808" y="-648.6118"
        width="296.0" height="68.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#00000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#EEEEEE</textColor>
        <font>Impact-plain-48</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5581c0a83801011bad8d4411b842</URIString>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="40" label="32-bit index" layerID="1"
        created="1678730036314" x="-148.5943" y="-461.68048"
        width="232.59259" height="23.0" strokeWidth="1.0"
        autoSized="false" xsi:type="node">
        <fillColor>#82CDE4</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Consolas-plain-12</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5581c0a83801011bad8d9ccc8bc8</URIString>
        <shape xsi:type="rectangle"/>
    </child>
    <child ID="41" layerID="1" created="1678730036314" x="-178.28522"
        y="-485.10278" width="30.690918" height="10.2152405"
        strokeWidth="1.0" autoSized="false" controlCount="0"
        arrowState="2" xsi:type="link">
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-11</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5581c0a83801011bad8d17bc0cec</URIString>
        <point1 x="-177.78522" y="-484.60278"/>
        <point2 x="-148.0943" y="-475.38754"/>
        <ID1 xsi:type="text">47</ID1>
        <ID2 xsi:type="node">46</ID2>
    </child>
    <child ID="42" label="&lt;top var id>" layerID="1"
        created="1678730036314" x="-104.0943" y="-485.18048"
        width="187.59256" height="23.0" strokeWidth="1.0"
        autoSized="false" xsi:type="node">
        <fillColor>#FFC63B</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Consolas-plain-12</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8dcd4a5244</URIString>
        <shape xsi:type="rectangle"/>
    </child>
    <child ID="43" layerID="1" created="1678730036314" x="-115.0943"
        y="-485.18048" width="11.0" height="23.0" strokeWidth="1.0"
        autoSized="false" xsi:type="node">
        <fillColor>#FFFFFF</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-12</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8d3ad98e2e</URIString>
        <shape xsi:type="rectangle"/>
    </child>
    <child ID="44" layerID="1" created="1678730036314" x="-126.0943"
        y="-485.18048" width="11.0" height="23.0" strokeWidth="1.0"
        autoSized="false" xsi:type="node">
        <fillColor>#7F7F7F</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-12</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8d8fac76f4</URIString>
        <shape xsi:type="rectangle"/>
    </child>
    <child ID="45" layerID="1" created="1678730036314" x="-137.0943"
        y="-485.18048" width="11.0" height="23.0" strokeWidth="1.0"
        autoSized="false" xsi:type="node">
        <fillColor>#FFFFFF</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-12</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8dcb06c71a</URIString>
        <shape xsi:type="rectangle"/>
    </child>
    <child ID="46" layerID="1" created="1678730036314" x="-148.0943"
        y="-485.18048" width="11.0" height="23.0" strokeWidth="1.0"
        autoSized="false" xsi:type="node">
        <fillColor>#7F7F7F</fillColor>
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-12</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8dad62daf6</URIString>
        <shape xsi:type="rectangle"/>
    </child>
    <child ID="47" label="Inverted?" layerID="1" created="1678730036314"
        x="-243.78522" y="-505.8451" width="66.0" height="22.0"
        strokeWidth="0.0" autoSized="false" xsi:type="text">
        <strokeColor>#404040</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>SansSerif-plain-14</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8d93d4388b</URIString>
        <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 12; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      &lt;font color="#ffffff"&gt;Inverted?&lt;/font&gt;
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
        <label>Inverted?</label>
    </child>
    <child ID="48" layerID="1" created="1678730036314" x="-169.58829"
        y="-518.7057" width="40.587982" height="32.533386"
        strokeWidth="1.0" autoSized="false" controlCount="0"
        arrowState="2" xsi:type="link">
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-11</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8deb9842ef</URIString>
        <point1 x="-169.08829" y="-518.2057"/>
        <point2 x="-129.5003" y="-486.6723"/>
        <ID1 xsi:type="text">49</ID1>
    </child>
    <child ID="49" label="Variable?" layerID="1" created="1678730036314"
        x="-228.89801" y="-540.2057" width="92.0" height="22.0"
        strokeWidth="0.0" autoSized="false" xsi:type="text">
        <strokeColor>#404040</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>SansSerif-plain-14</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8df3beb6a1</URIString>
        <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 12; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      &lt;font color="#ffffff"&gt;Variable?&lt;/font&gt;
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
        <label>Variable?</label>
    </child>
    <child ID="50" layerID="1" created="1678730036314" x="-134.4089"
        y="-547.80316" width="12.23484" height="63.12268"
        strokeWidth="1.0" autoSized="false" controlCount="0"
        arrowState="2" xsi:type="link">
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-11</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5582c0a83801011bad8d00da3493</URIString>
        <point1 x="-133.9089" y="-547.30316"/>
        <point2 x="-122.674065" y="-485.18048"/>
        <ID1 xsi:type="text">51</ID1>
        <ID2 xsi:type="node">44</ID2>
    </child>
    <child ID="51" label="Constant?" layerID="1" created="1678730036314"
        x="-168.89825" y="-569.30316" width="66.0" height="22.0"
        strokeWidth="0.0" autoSized="false" xsi:type="text">
        <strokeColor>#404040</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>SansSerif-plain-14</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5583c0a83801011bad8dba37f8ee</URIString>
        <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 12; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      &lt;font color="#ffffff"&gt;Constant?&lt;/font&gt;
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
        <label>Constant?</label>
    </child>
    <child ID="52" label="Virtual?" layerID="1" created="1678730036314"
        x="-116.79352" y="-541.2582" width="59.0" height="22.0"
        strokeWidth="0.0" autoSized="false" xsi:type="text">
        <strokeColor>#404040</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>SansSerif-plain-14</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5583c0a83801011bad8da56fc973</URIString>
        <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 12; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 12; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      &lt;font color="#ffffff"&gt;Virtual?&lt;/font&gt;
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
        <label>Virtual?</label>
    </child>
    <child ID="53" layerID="1" created="1678730036314" x="-105.56143"
        y="-519.7582" width="14.432121" height="35.077698"
        strokeWidth="1.0" autoSized="false" controlCount="0"
        arrowState="2" xsi:type="link">
        <strokeColor>#000000</strokeColor>
        <textColor>#000000</textColor>
        <font>Arial-plain-11</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc1c5583c0a83801011bad8d645956e6</URIString>
        <point1 x="-91.6293" y="-519.2582"/>
        <point2 x="-105.061424" y="-485.18048"/>
        <ID1 xsi:type="text">52</ID1>
        <ID2 xsi:type="node">43</ID2>
    </child>
    <child ID="56" label="HiLo" layerID="1" created="1678730228650"
        x="-822.2808" y="-148.98438" width="413.0" height="90.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc290026c0a83801011bad8dc8ea2ae1</URIString>
        <child ID="76"
            label="pub struct &#xa;        HiLo {pub hi:NID, &#xa;        pub lo:NID}"
            created="1678731218943" x="5.0" y="31.0" width="403.0"
            height="53.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc30afa0c0a83801011bad8d2b1c29e2</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#fec758" style="color: #fec758"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #fec758; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #fec758; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;HiLo&lt;/font&gt;&lt;font color="#f8f8f8"&gt; {&lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;hi&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;lo&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#fec758" style="color: #fec758"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        HiLo {pub hi:NID, 
        pub lo:NID}</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="57" label="HiLoCache" layerID="1" created="1678730245195"
        x="-822.2808" y="-45.164795" width="343.0" height="135.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc290026c0a83801011bad8ddd4bc5de</URIString>
        <child ID="82"
            label="pub struct &#xa;        HiLoCache { &#xa0; hilos: &#xa;        Vec&lt;HiLo>, &#xa0; index: &#xa;        VHLHashMap&lt;HiLo, &#xa;        usize>}"
            created="1678731371344" x="5.0" y="31.0" width="333.0"
            height="98.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc30afa0c0a83801011bad8d462efc11</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;HiLoCache&lt;/font&gt;&lt;font color="#f8f8f8"&gt; {&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;hilos&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Vec&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;HiLo&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;index&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        VHL&lt;/font&gt;&lt;font color="#fec758"&gt;HashMap&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;HiLo&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#9df39f"&gt;usize&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        HiLoCache { &#xa0; hilos: 
        Vec&lt;HiLo&gt;, &#xa0; index: 
        VHLHashMap&lt;HiLo, 
        usize&gt;}</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="80" label="VHL" layerID="1" created="1678731278698"
        x="-396.28082" y="-255.71928" width="513.0" height="90.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc30afa0c0a83801011bad8df53e951a</URIString>
        <child ID="79"
            label="pub struct &#xa;        VHL {pub v:VID, &#xa;        pub hi:NID, pub lo:NID}"
            created="1678731264463" x="5.0" y="31.0" width="503.0"
            height="53.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc30afa1c0a83801011bad8dce6ce7eb</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#fec758" style="color: #fec758"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #fec758; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #fec758; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;VHL&lt;/font&gt;&lt;font color="#f8f8f8"&gt; {&lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;hi&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;lo&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#fec758" style="color: #fec758"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        VHL {pub v:VID, 
        pub hi:NID, pub lo:NID}</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="89" label="bdd::ITE" layerID="1" created="1678731630931"
        x="-822.2808" y="-251.78061" width="373.0" height="90.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc383e3ac0a83801011bad8dfdc63bb3</URIString>
        <child ID="88"
            label="pub struct &#xa;        ITE {i:NID, t:NID, &#xa;        e:NID}"
            created="1678731617046" x="5.0" y="31.0" width="363.0"
            height="53.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc383e3ac0a83801011bad8dab24ed85</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#000000" style="color: #000000"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #000000; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #000000; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;ITE&lt;/font&gt;&lt;font color="#f8f8f8"&gt; {&lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;i&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;t&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;e&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#000000" style="color: #000000"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        ITE {i:NID, t:NID, 
        e:NID}</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="90" label="BddState" layerID="1" created="1678731862621"
        x="-822.2808" y="102.778534" width="323.0" height="135.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc383e3ac0a83801011bad8d5d42640b</URIString>
        <child ID="92"
            label="pub struct &#xa;        BddState { &#xa0; hilos: &#xa;        vhl::HiLoCache, &#xa0; xmemo: &#xa;        BddHashMap&lt;ITE, &#xa;        NID> }"
            created="1678731869132" x="5.0" y="31.0" width="313.0"
            height="98.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc383e3ac0a83801011bad8df4de9b43</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#f12727" style="color: #f12727"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #f12727; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #f12727; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;BddState&lt;/font&gt;&lt;font color="#f8f8f8"&gt; {&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;hilos&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;vhl&lt;/font&gt;&lt;font color="#f12727"&gt;::&lt;/font&gt;&lt;font color="#fec758"&gt;HiLoCache&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;xmemo&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        Bdd&lt;/font&gt;&lt;font color="#fec758"&gt;HashMap&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;ITE&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#f12727" style="color: #f12727"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        BddState { &#xa0; hilos: 
        vhl::HiLoCache, &#xa0; xmemo: 
        BddHashMap&lt;ITE, 
        NID&gt; }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="93" label="wip::WorkCache" layerID="1"
        created="1678732029845" x="-450.78955" y="29.654892"
        width="543.0" height="150.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc3af243c0a83801011bad8d4d246dc5</URIString>
        <child ID="94"
            label="pub struct &#xa;        WorkCache&lt;K=NormIteKey, &#xa;        V=NID, &#xa;        P=VhlParts>&#xa;  where K:Eq+Hash &#xa;        {&#xa;      &#xa;      &#xa;        &#xa0;   _kvp: &#xa;        PhantomData&lt;(K,V,P)>,&#xa;      &#xa;      &#xa;          &#xa0; pub &#xa;        cache: &#xa;        DashMap&lt;K, &#xa;        Work&lt;V, &#xa;        WipRef&lt;K,P>>> &#xa;        }"
            created="1678732035446" x="5.0" y="31.0" width="533.0"
            height="113.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc3af243c0a83801011bad8d1fc8ea7d</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; color: #f8f8f8; line-height: 19px; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;WorkCache&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;NormIteKey&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;V&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;VhlParts&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;
&lt;/font&gt;&lt;font color="#f12727"&gt;  where&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#9df39f"&gt;Eq&lt;/font&gt;&lt;font color="#f12727"&gt;+&lt;/font&gt;&lt;font color="#9df39f"&gt;Hash&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        {&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160;   &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;_kvp&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;PhantomData&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;(&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#fec758"&gt;V&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)&amp;gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;  &amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;cache&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;DashMap&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Work&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;V&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;WipRef&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt;&amp;gt; 
        }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        WorkCache&lt;K=NormIteKey, 
        V=NID, 
        P=VhlParts&gt;
  where K:Eq+Hash 
        {
      
      
        &#xa0;   _kvp: 
        PhantomData&lt;(K,V,P)&gt;,
      
      
          &#xa0; pub 
        cache: 
        DashMap&lt;K, 
        Work&lt;V, 
        WipRef&lt;K,P&gt;&gt;&gt; 
        }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="95" label="NID" layerID="1" created="1678732108470"
        x="-183.48395" y="-415.1867" width="263.0" height="92.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc6b94e7c0a83801011bad8db9081d69</URIString>
        <child ID="97" label="pub struct &#xa;        NID { n: u64 }"
            created="1678732135539" x="5.0" y="31.0" width="253.0"
            height="55.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc6b94e8c0a83801011bad8df49e17c5</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt; { &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;n&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#9df39f"&gt;u64&lt;/font&gt;&lt;font color="#f8f8f8"&gt; }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        NID { n: u64 }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="96" label="VID" layerID="1" created="1678732109639"
        x="-822.2808" y="-510.90396" width="543.0" height="246.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc6b94e8c0a83801011bad8d48974ed2</URIString>
        <child ID="98"
            label="enum VidEnum &#xa;        { &#xa0; T, &#xa0; &#xa0; &#xa0; &#xa0;// meta-constant on which I and O branch. &#xa0; NoV, &#xa0; &#xa0; &#xa0;// for AST nodes not tied to a variable &#xa0; Var(u32), &#xa;        // Input Variables &#xa0; Vir(u32), &#xa;        // Virtual Variables } pub struct VID { v:VidEnum &#xa;        }"
            created="1678732232922" x="5.0" y="31.0" width="533.0"
            height="209.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc6b94e8c0a83801011bad8d8f729550</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;enum&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;VidEnum&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        {&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;T&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        &amp;#160; &amp;#160; &amp;#160; &amp;#160;// meta-constant on which I and O branch.&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;NoV&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        &amp;#160; &amp;#160; &amp;#160;// for AST nodes not tied to a variable&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;Var&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#9df39f"&gt;u32&lt;/font&gt;&lt;font color="#f8f8f8"&gt;),&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // Input Variables&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;Vir&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#9df39f"&gt;u32&lt;/font&gt;&lt;font color="#f8f8f8"&gt;),&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // Virtual Variables&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;}&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt; { &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VidEnum&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        }&lt;/font&gt;
      &lt;/div&gt;
      &lt;br&gt;
      
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>enum VidEnum 
        { &#xa0; T, &#xa0; &#xa0; &#xa0; &#xa0;// meta-constant on which I and O branch. &#xa0; NoV, &#xa0; &#xa0; &#xa0;// for AST nodes not tied to a variable &#xa0; Var(u32), 
        // Input Variables &#xa0; Vir(u32), 
        // Virtual Variables } pub struct VID { v:VidEnum 
        }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="99" label="swarm::Swarm" layerID="1"
        created="1678735258965" x="134.62708" y="-71.28317"
        width="653.0" height="246.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/dc6b94e8c0a83801011bad8d7e3996c0</URIString>
        <child ID="100"
            label="pub struct &#xa;        Swarm&lt;Q,R,W> where W:Worker&lt;Q,R> { &#xa0; nq: &#xa;        usize, // next QID &#xa0; nw: &#xa;        usize, // next WID &#xa0; me: &#xa;        Sender&lt;RMsg&lt;R>>, &#xa;        // clone to msg swarm &#xa0; rx: &#xa;        Receiver&lt;RMsg&lt;R>>, &#xa;        // how it gets msg &#xa0; whs: &#xa;        HashMap&lt;WID, &#xa;        Sender&lt;Option&lt;QMsg&lt;Q>>>>, &#xa;        // worker channels &#xa0; _w: &#xa;        PhantomData&lt;W>, &#xa;        // actual workers owned by threads &#xa0; threads: &#xa;        Vec&lt;thread::JoinHandle&lt;()>> }"
            created="1678735264732" x="5.0" y="31.0" width="643.0"
            height="209.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/dc6b94e8c0a83801011bad8d113a7ec1</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Swarm&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Q&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#fec758"&gt;R&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#fec758"&gt;W&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;where&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;W&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;Worker&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Q&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#fec758"&gt;R&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; 
        {&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;nq&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#9df39f"&gt;usize&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // next QID&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;nw&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#9df39f"&gt;usize&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // next WID&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;me&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Sender&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;RMsg&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;R&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // clone to msg swarm&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;rx&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Receiver&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;RMsg&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;R&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // how it gets msg&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;whs&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;HashMap&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;WID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Sender&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Option&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;QMsg&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Q&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt;&amp;gt;&amp;gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // worker channels&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;_w&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;PhantomData&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;W&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;,&lt;/font&gt;&lt;font color="#e7c0c0"&gt;&lt;i&gt; 
        // actual workers owned by threads&lt;/i&gt;&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;threads&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Vec&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;thread&lt;/font&gt;&lt;font color="#f12727"&gt;::&lt;/font&gt;&lt;font color="#fec758"&gt;JoinHandle&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;()&amp;gt;&amp;gt; 
        }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        Swarm&lt;Q,R,W&gt; where W:Worker&lt;Q,R&gt; { &#xa0; nq: 
        usize, // next QID &#xa0; nw: 
        usize, // next WID &#xa0; me: 
        Sender&lt;RMsg&lt;R&gt;&gt;, 
        // clone to msg swarm &#xa0; rx: 
        Receiver&lt;RMsg&lt;R&gt;&gt;, 
        // how it gets msg &#xa0; whs: 
        HashMap&lt;WID, 
        Sender&lt;Option&lt;QMsg&lt;Q&gt;&gt;&gt;&gt;, 
        // worker channels &#xa0; _w: 
        PhantomData&lt;W&gt;, 
        // actual workers owned by threads &#xa0; threads: 
        Vec&lt;thread::JoinHandle&lt;()&gt;&gt; }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="104" label="Ops" layerID="1" created="1678755969767"
        x="-1282.1293" y="-250.333" width="313.0" height="87.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/ddb1785dc0a83801011bad8dc8ccce10</URIString>
        <child ID="106"
            label="pub enum &#xa;        Ops { RPN(Vec&lt;NID>) &#xa;        }"
            created="1678756018623" x="5.0" y="31.0" width="303.0"
            height="50.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/ddb1785dc0a83801011bad8dbb3b9eb7</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#f8f8f8" style="color: #f8f8f8"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #f8f8f8; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #f8f8f8; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;enum&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Ops&lt;/font&gt;&lt;font color="#f8f8f8"&gt; { &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;RPN&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#fec758"&gt;Vec&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;) 
        }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#f8f8f8" style="color: #f8f8f8"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub enum 
        Ops { RPN(Vec&lt;NID&gt;) 
        }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="107" label="AST" layerID="1" created="1678756578010"
        x="-1412.1274" y="-521.5027" width="532.0" height="214.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/ddb1785dc0a83801011bad8d165ebe4c</URIString>
        <child ID="108"
            label="pub struct &#xa;        RawASTBase { &#xa0; bits: &#xa;        Vec&lt;Ops>, &#xa0; tags: &#xa;        HashMap&lt;String, &#xa;        NID>, &#xa0; hash: &#xa;        HashMap&lt;Ops, &#xa;        NID>}"
            created="1678756581511" x="34.0" y="31.0" width="293.0"
            height="104.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/ddb1785dc0a83801011bad8d0f361272</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;RawASTBase&lt;/font&gt;&lt;font color="#f8f8f8"&gt; {&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;bits&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Vec&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Ops&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;tags&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;HashMap&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;String&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;hash&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;HashMap&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Ops&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        RawASTBase { &#xa0; bits: 
        Vec&lt;Ops&gt;, &#xa0; tags: 
        HashMap&lt;String, 
        NID&gt;, &#xa0; hash: 
        HashMap&lt;Ops, 
        NID&gt;}</label>
        </child>
        <child ID="110"
            label="pub struct &#xa;        ASTBase { base: &#xa;        Simplify&lt;RawASTBase> }"
            created="1678756601458" x="34.0" y="138.0" width="493.0"
            height="70.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/ddb1785dc0a83801011bad8d7f4e5847</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Consolas; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Consolas }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;ASTBase&lt;/font&gt;&lt;font color="#f8f8f8"&gt; { &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;base&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Simplify&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;RawASTBase&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; 
        }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        ASTBase { base: 
        Simplify&lt;RawASTBase&gt; }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="116" label="vhl::VHLParts" layerID="1"
        created="1678758139111" x="-389.73978" y="-161.70041"
        width="223.0" height="165.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/f0e03ebdc0a83801011bad8d311ebee7</URIString>
        <child ID="117"
            label="pub struct &#xa;        VHLParts{ &#xa0; pub &#xa;        v:VID, &#xa0; pub &#xa;        hi:Option&lt;NID>, &#xa0; pub &#xa;        lo:Option&lt;NID>, &#xa0; pub &#xa;        invert:bool}"
            created="1678758146094" x="5.0" y="31.0" width="213.0"
            height="128.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/f0e03ebdc0a83801011bad8dac7211ef</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;VHLParts&lt;/font&gt;&lt;font color="#f8f8f8"&gt;{&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;v&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;VID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;hi&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;Option&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;lo&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;Option&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;NID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;,&lt;/font&gt;
      &lt;/div&gt;
      &lt;div&gt;
        &lt;font color="#f8f8f8"&gt;&amp;#160; &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;invert&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#9df39f"&gt;bool&lt;/font&gt;&lt;font color="#f8f8f8"&gt;}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        VHLParts{ &#xa0; pub 
        v:VID, &#xa0; pub 
        hi:Option&lt;NID&gt;, &#xa0; pub 
        lo:Option&lt;NID&gt;, &#xa0; pub 
        invert:bool}</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="119" label="BddWorker" layerID="1"
        created="1678822077733" x="-864.8028" y="250.58195"
        width="413.0" height="108.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/f0e03ee9c0a83801011bad8dcbe39bf1</URIString>
        <child ID="118"
            label="struct BddWorker &#xa;        {&#xa;  wid:WID, &#xa;        state:Option&lt;Arc&lt;BddState>> &#xa;        }"
            created="1678822055406" x="5.0" y="31.0" width="403.0"
            height="71.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/f0e03effc0a83801011bad8d770b2e27</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; line-height: 19px; color: #f8f8f8; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;BddWorker&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        {
  &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;wid&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;WID&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;state&lt;/i&gt;&lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#fec758"&gt;Option&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Arc&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;BddState&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt; 
        }&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>struct BddWorker 
        {
  wid:WID, 
        state:Option&lt;Arc&lt;BddState&gt;&gt; 
        }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="123" label="wip::Work" layerID="1"
        created="1679501966308" x="-434.76892" y="186.20642"
        width="293.0" height="136.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/0a1f97f0c0a83801011bad8d9d655869</URIString>
        <child ID="125"
            label="pub enum &#xa;        Work&lt;V, &#xa;        W=WipRef> &#xa;        {&#xa;  Todo(W), &#xa;         Done(V)}"
            created="1679501996737" x="5.0" y="31.0" width="283.0"
            height="99.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/0a1f97f0c0a83801011bad8deeebc844</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; color: #f8f8f8; line-height: 19px; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;enum&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Work&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;V&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;W&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;WipRef&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; 
        {
&lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;  Todo&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#fec758"&gt;W&lt;/font&gt;&lt;font color="#f8f8f8"&gt;),&lt;/font&gt;&lt;br&gt; 
         &lt;font color="#fb9a4b"&gt;&lt;i&gt;Done&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt;(&lt;/font&gt;&lt;font color="#fec758"&gt;V&lt;/font&gt;&lt;font color="#f8f8f8"&gt;)}&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub enum 
        Work&lt;V, 
        W=WipRef&gt; 
        {
  Todo(W), 
         Done(V)}</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="126" label="wip::WipRef" layerID="1"
        created="1679502094984" x="-418.7976" y="327.57602"
        width="403.0" height="106.0" strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/0a218235c0a83801011bad8d2d8e185c</URIString>
        <child ID="127"
            label="type WipRef&lt;K=NormIteKey, &#xa;        P=VhlParts> &#xa;        =&#xa;  RefCell&lt;Wip&lt;K, &#xa;        P>>;"
            created="1679502094984" x="5.0" y="31.0" width="393.0"
            height="69.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/0a218235c0a83801011bad8dd67fbf64</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; color: #f8f8f8; line-height: 19px; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;type&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;WipRef&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;NormIteKey&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;VhlParts&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;=
&lt;/font&gt;&lt;font color="#fec758"&gt;  RefCell&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Wip&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt;;&lt;/font&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>type WipRef&lt;K=NormIteKey, 
        P=VhlParts&gt; 
        =
  RefCell&lt;Wip&lt;K, 
        P&gt;&gt;;</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <child ID="128" label="wip::Wip" layerID="1" created="1679502116780"
        x="-137.736" y="187.14148" width="433.0" height="130.0"
        strokeWidth="1.0" autoSized="true" xsi:type="node">
        <fillColor>#000000</fillColor>
        <strokeColor>#00000000</strokeColor>
        <textColor>#FFFFFF</textColor>
        <font>Impact-plain-18</font>
        <URIString>http://vue.tufts.edu/rdf/resource/0a218235c0a83801011bad8dd22375ac</URIString>
        <child ID="129"
            label="pub struct &#xa;        Wip&lt;K=NormIteKey, &#xa;        P=VhlParts> &#xa;        {&#xa;  pub parts &#xa;        : P, &#xa;        pub deps &#xa;        : Vec&lt;Dep&lt;K>> &#xa;        }"
            created="1679502154238" x="5.0" y="31.0" width="423.0"
            height="93.0" strokeWidth="0.0" autoSized="false" xsi:type="text">
            <strokeColor>#404040</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/0a218235c0a83801011bad8d84311c00</URIString>
            <richText>&lt;html&gt;
  &lt;head color="#ffffff" style="color: #ffffff"&gt;
    &lt;style type="text/css"&gt;
      &lt;!--
        body { margin-right: 0px; font-size: 18; margin-left: 0px; color: #ffffff; margin-top: 0px; font-family: Impact; margin-bottom: 0px }
        ol { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
        p { margin-right: 0; margin-left: 0; color: #ffffff; margin-top: 0; margin-bottom: 0 }
        ul { vertical-align: middle; margin-left: 30; font-size: 18; list-style-position: outside; margin-top: 6; font-family: Impact }
      --&gt;
    &lt;/style&gt;
    
  &lt;/head&gt;
  &lt;body&gt;
    &lt;div style="font-size: 14px; white-space: pre; color: #f8f8f8; line-height: 19px; font-weight: normal; font-family: Consolas, Courier New, monospace; background-color: #390000"&gt;
      &lt;div&gt;
        &lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#f12727"&gt;struct&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#fec758"&gt;Wip&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;NormIteKey&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f12727"&gt;=&lt;/font&gt;&lt;font color="#fec758"&gt;VhlParts&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt; 
        {
&lt;/font&gt;&lt;font color="#f12727"&gt;  pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;parts&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;P&lt;/font&gt;&lt;font color="#f8f8f8"&gt;, 
        &lt;/font&gt;&lt;font color="#f12727"&gt;pub&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fb9a4b"&gt;&lt;i&gt;deps&lt;/i&gt;&lt;/font&gt;&lt;font color="#f8f8f8"&gt; 
        &lt;/font&gt;&lt;font color="#f12727"&gt;:&lt;/font&gt;&lt;font color="#f8f8f8"&gt; &lt;/font&gt;&lt;font color="#fec758"&gt;Vec&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;Dep&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;lt;&lt;/font&gt;&lt;font color="#fec758"&gt;K&lt;/font&gt;&lt;font color="#f8f8f8"&gt;&amp;gt;&amp;gt; 
        }&lt;/font&gt;
      &lt;/div&gt;
      &lt;br&gt;
    &lt;/div&gt;
    &lt;p color="#ffffff" style="color: #ffffff"&gt;
      
    &lt;/p&gt;
  &lt;/body&gt;
&lt;/html&gt;
</richText>
            <label>pub struct 
        Wip&lt;K=NormIteKey, 
        P=VhlParts&gt; 
        {
  pub parts 
        : P, 
        pub deps 
        : Vec&lt;Dep&lt;K&gt;&gt; 
        }</label>
        </child>
        <shape arcwidth="20.0" archeight="20.0" xsi:type="roundRect"/>
    </child>
    <layer ID="1" label="Layer 1" created="1590418643804" x="0.0"
        y="0.0" width="1.4E-45" height="1.4E-45" strokeWidth="0.0" autoSized="false">
        <URIString>http://vue.tufts.edu/rdf/resource/4c5d81bbc0a800750116aba6d2fedf55</URIString>
    </layer>
    <userZoom>1.1722654775619197</userZoom>
    <userOrigin x="-1731.4631" y="-775.6205"/>
    <presentationBackground>#202020</presentationBackground>
    <PathwayList currentPathway="0" revealerIndex="-1">
        <pathway ID="0" label="Untitled Pathway" created="1590418643800"
            x="0.0" y="0.0" width="1.4E-45" height="1.4E-45"
            strokeWidth="0.0" autoSized="false" currentIndex="0" open="true">
            <strokeColor>#B3993333</strokeColor>
            <textColor>#000000</textColor>
            <font>SansSerif-plain-14</font>
            <URIString>http://vue.tufts.edu/rdf/resource/4c5d81bbc0a800750116aba689bd94f6</URIString>
            <masterSlide ID="2" created="1590418643868" x="0.0" y="0.0"
                width="800.0" height="600.0" locked="true"
                strokeWidth="0.0" autoSized="false">
                <fillColor>#000000</fillColor>
                <strokeColor>#404040</strokeColor>
                <textColor>#000000</textColor>
                <font>SansSerif-plain-14</font>
                <URIString>http://vue.tufts.edu/rdf/resource/4c5d81bbc0a800750116aba69fbbca65</URIString>
                <titleStyle ID="3" label="Header"
                    created="1590418644238" x="335.5" y="172.5"
                    width="129.0" height="55.0" strokeWidth="0.0"
                    autoSized="true" isStyle="true" xsi:type="node">
                    <strokeColor>#404040</strokeColor>
                    <textColor>#FFFFFF</textColor>
                    <font>Gill Sans-plain-36</font>
                    <URIString>http://vue.tufts.edu/rdf/resource/4c5d81bcc0a800750116aba68c7e167b</URIString>
                    <shape xsi:type="rectangle"/>
                </titleStyle>
                <textStyle ID="4" label="Slide Text"
                    created="1590418644242" x="346.5" y="281.5"
                    width="107.0" height="37.0" strokeWidth="0.0"
                    autoSized="true" isStyle="true" xsi:type="node">
                    <strokeColor>#404040</strokeColor>
                    <textColor>#FFFFFF</textColor>
                    <font>Gill Sans-plain-22</font>
                    <URIString>http://vue.tufts.edu/rdf/resource/4c5d81bcc0a800750116aba60229668c</URIString>
                    <shape xsi:type="rectangle"/>
                </textStyle>
                <linkStyle ID="5" label="Links" created="1590418644244"
                    x="373.5" y="384.0" width="53.0" height="32.0"
                    strokeWidth="0.0" autoSized="true" isStyle="true" xsi:type="node">
                    <strokeColor>#404040</strokeColor>
                    <textColor>#B3BFE3</textColor>
                    <font>Gill Sans-plain-18</font>
                    <URIString>http://vue.tufts.edu/rdf/resource/4c5d81bcc0a800750116aba6e2833fb7</URIString>
                    <shape xsi:type="rectangle"/>
                </linkStyle>
            </masterSlide>
        </pathway>
    </PathwayList>
    <date>2020-05-25</date>
    <modelVersion>6</modelVersion>
    <saveLocation>D:\ver\bex\doc</saveLocation>
    <saveFile>D:\ver\bex\doc\bex-types.vue</saveFile>
</LW-MAP>