ml">infer</a> &#x00BB; Checkers__SiofTrace</nav><h1>Module <code>Checkers__SiofTrace</code></h1></header><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../Absint/SinkTrace/index.html#module-type-S">Absint.SinkTrace.S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../Absint/SinkTrace/module-type-S/Sink/Kind/index.html#type-t">Sink.Kind.t</a> = <a href="../IR/Pvar/index.html#t