ed</code></a> to force the <code>Server</code> to start but you probably shouldn't do that. By the default the <code>Server</code> is only started if the traces of an instruction are required and not in the cache.</p></header><dl><dt class="spec type" id="type-config"><a href="#type-config" class="anchor"></a><code><span class="keyword">type</span> config</code><code> = <a href="../Isla/Server/index.html#type-config">Isla.Server.config</a></code></dt><dd><p>The type of Isla configuration</p></dd></dl><dl><d