perations" class="anchor"></a>Operations</h2></header><aside><p>Given a variable name <code>v</code> and a domain <code>d</code>, builds the weakest constraint that <code>v</code> should respect to be in <code>d</code>.</p></aside><dl><dt class="spec value" id="val-to_constraint"><a href="#val-to_constraint" class="anchor"></a><code><span class="keyword">val</span> to_constraint : string <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../Libabsolute/Constraint/ind