pan> 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>