t.qual_type</a>;</code></td></tr><tr id="type-var_to_destroy.marker" class="anchored"><td class="def field"><a href="#type-var_to_destroy.marker" class="anchor"></a><code>marker : <span><a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> option</span>;</code></td><td class="doc"><p><code>Some m</code> means that creating <code>pvar</code> should also set <code>m</code> to <code>1</code> so that we know whether <code>pvar</code> needs to be destroyed after the current full-expression</p></td></tr></table