tr><tr id="type-t.objective" class="anchored"><td class="def field"><a href="#type-t.objective" class="anchor"></a><code>objective : <span><a href="../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> option</span>;</code></td></tr><tr id="type-t.solutions" class="anchored"><td class="def field"><a href="#type-t.solutions" class="anchor"></a><code>solutions : <span><a href="index.html#type-info">info</a> option</span>;</code></td></tr></table><code>}</code></dt><dd><p>type of constraint satisfactio