lass="spec value" id="val-is_representable"><a href="#val-is_representable" class="anchor"></a><code><span class="keyword">val</span> is_representable : <a href="index.html#type-internal_constr">internal_constr</a> <span>&#45;&gt;</span> <a href="../../../Kleene/index.html#type-t">Kleene.t</a></code></dt><dd><p>checks if a constraint is suited for this abstract domain</p></dd></dl><dl><dt class="spec value" id="val-forward_eval"><a href="#val-forward_eval" class="anchor"></a><code><span class="keyword">val<