nclude"><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <span class="keyword">module</span> <span class="keyword">type</span> <span class="keyword">of</span> <span class="keyword">struct</span> <span class="keyword">include</span> <a href="../PulseSatUnsat/Types/index.html">SatUnsat.Types</a> <span class="keyword">end</span></span></code></summary><p>for <code>open</code>ing to get <code>Sat</code> and <code>Unsat</code> in the namespace</p><p>for <code>op