.expr</a> * <span class="type-var">'a</span> * <a href="../Csp/index.html#type-expr">Csp.expr</a>)</span> <a href="../Csp/index.html#type-boolean">Csp.boolean</a></span> * <a href="../Tools/VarSet/index.html#type-t">Tools.VarSet.t</a>)</span> list</span> <span>&#45;&gt;</span> <span><span>(<a href="../Tools/VarSet/index.html#type-elt">Tools.VarSet.elt</a> * <span>(<a href="../Csp/index.html#type-i">Csp.i</a> * <a href="../Csp/index.html#type-i">Csp.i</a>)</span>)</span> list</span> <span>&#45;&gt;</span> <s