../../index.html">infer</a> &#x00BB; <a href="../../index.html">Checkers</a> &#x00BB; <a href="../index.html">UninitDomain</a> &#x00BB; Record</nav><h1>Module <code>UninitDomain.Record</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Domain1/index.html">Domain1</a> : <a href="../../../Absint/AbstractDomain/index.html#module-type-S">Absint.AbstractDomain.S</a></code></li><li><code><a href="argument-2-Domain2/index.html">Domain2</a> : <a href="../../../Absint/AbstractDo