/td></tr><tr id="type-code.env" class="anchored"><td class="def record field"><a href="#type-code.env" class="anchor"></a><code><span>env : <a href="../Environment/index.html#type-t">Env.t</a>;</span></code></td></tr><tr id="type-code.mem" class="anchored"><td class="def record field"><a href="#type-code.mem" class="anchor"></a><code><span>mem : <span><span class="xref-unresolved">Bap</span>.Std.value <span class="xref-unresolved">Bap</span>.Std.memmap</span>;</span></code></td></tr><tr id="type-code.code_a