nt/index.html#type-t">Libabsolute.Constraint.t</a> * <a href="../../Libabsolute__Tools/VarSet/index.html#type-t">Libabsolute__.Tools.VarSet.t</a>)</span> list</span></code></dt><dt class="spec value" id="val-replace_cst_cstrs"><a href="#val-replace_cst_cstrs" class="anchor"></a><code><span class="keyword">val</span> replace_cst_cstrs : <span>(<a href="../../Libabsolute__Tools/VarSet/index.html#type-elt">Libabsolute__.Tools.VarSet.elt</a> * <a href="../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a>)