ex.html#type-t">Libabsolute.Constraint.t</a></code></dt><dd><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></dd></dl></section><section><header><h2 id="printing"><a href="#printing" class="anchor"></a>Printing</h2></header><dl><dt class="spec value" id="val-print"><a href="#val-print" class="anchor"></a><code><span class="keyword">val</span> print : Stdlib.Format.formatter <span>&#45;&gt;</span