.t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-domain">domain</a> option</span></code></dt><dd><p>compute and return the postcondition for the given procedure starting from <code>initial</code>.</p></dd></dl></div></body></html>