"Device/index.html#type-value">Device.value</a> array</span>;</span></code></li><li id="type-attr.block" class="def record field anchored"><a href="#type-attr.block" class="anchor"></a><code><span><span class="keyword">mutable</span> block : <span><span><a href="#type-block">block</a> array</span> option</span>;</span></code></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>TODO</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-arr"><a href="#type-arr" class="a