code><span class="keyword">val</span> is_future_done_guard : <a href="../../../Absint/HilExp/AccessExpression/index.html#type-t">Absint.HilExp.AccessExpression.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>does the given expr has attribute <code>FutureDone x</code> return <code>Some x</code> else <code>None</code></p></dd></dl></div></body></html>