e>Server</code> if the value is not in the cache</p></dd></dl><dl><dt class="spec value" id="val-get_nop"><a href="#val-get_nop" class="anchor"></a><code><span class="keyword">val</span> get_nop : unit <span>&#45;&gt;</span> <a href="../Isla/Base/index.html#type-rtrc">Isla.Base.rtrc</a></code></dt><dd><p>Get the traces of the nop opcode (The initialization code). Use <code>Server</code> if the value is not in the cache</p></dd></dl></div></body></html>