"anchor"></a><code><span>block_id : int;</span></code></li><li id="type-block.active" class="def record field anchored"><a href="#type-block.active" class="anchor"></a><code><span><span class="keyword">mutable</span> active : <span><a href="#type-t">t</a> option</span>;</span></code></li><li id="type-block.memory" class="def record field anchored"><a href="#type-block.memory" class="anchor"></a><code><span><span class="keyword">mutable</span> memory : <a href="argument-1-Device/index.html#type-value">Device