ntMap</a>.key <span>&#45;&gt;</span> <span><span class="type-var">'a</span> <a href="index.html#module-InvariantMap">InvariantMap</a>.t</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dd><p>extract the state for a node id from the given invariant map</p></dd></dl></div></body></html>