R/Pvar/index.html#type-t">IR.Pvar.t</a>;</code></td></tr><tr id="type-var_to_destroy.typ" class="anchored"><td class="def field"><a href="#type-var_to_destroy.typ" class="anchor"></a><code>typ : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>;</code></td></tr><tr id="type-var_to_destroy.qual_type" class="anchored"><td class="def field"><a href="#type-var_to_destroy.qual_type" class="anchor"></a><code>qual_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_