/span></code></div><div class="spec-doc"><p>substracts the second abstract element from the first (difference operator) if an exact operator can not be defined (None), the solver doesn't use the pruning features. precondition: the two abstract elements must be defined onto the same set of variables.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-split_along"><a href="#val-split_along" class="anchor"></a><code><span><span class="keyword">val</span> split_along : <span><span cl