0BB; ADCP</nav><h1>Module <code>ADCP</code></h1></header><dl><dt class="spec value" id="val-complementary"><a href="#val-complementary" class="anchor"></a><code><span class="keyword">val</span> complementary : Apron.Environment.t <span>&#45;&gt;</span> Apron.Var.t <span>&#45;&gt;</span> Apron.Scalar.t <span>&#45;&gt;</span> Apron.Linexpr1.t * Apron.Linexpr1.t</code></dt></dl><dl><dt class="spec module" id="module-BoxCP"><a href="#module-BoxCP" class="anchor"></a><code><span class="keyword">module</span> <a 