sentable"><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></dl></div></body></html>