t;</span> Apron.Var.t <span>&#45;&gt;</span> Apron.Linexpr1.t * Apron.Linexpr1.t * Apron.Interval.t * Apronext.Scalarext.t * Apronext.Scalarext.t</code></dt><dt class="spec value" id="val-split"><a href="#val-split" class="anchor"></a><code><span class="keyword">val</span> split : <span>Oct.t <a href="index.html#module-A">A</a>.t</span> <span>&#45;&gt;</span> <span><span>Oct.t <a href="index.html#module-A">A</a>.t</span> list</span></code></dt></dl></div></body></html>