="type-attr.op" class="def record field anchored"><a href="#type-attr.op" class="anchor"></a><code><span><span class="keyword">mutable</span> op : <a href="#type-op">op</a>;</span></code></li><li id="type-attr.freeze" class="def record field anchored"><a href="#type-attr.freeze" class="anchor"></a><code><span><span class="keyword">mutable</span> freeze : bool;</span></code></li><li id="type-attr.reuse" class="def record field anchored"><a href="#type-attr.reuse" class="anchor"></a><code><span><span class="k