">Up</a> â€“ <a href="../index.html">infer</a> &#x00BB; ClangFrontend__CAddImplicitDeallocImpl</nav><h1>Module <code>ClangFrontend__CAddImplicitDeallocImpl</code></h1></header><dl><dt class="spec value" id="val-process"><a href="#val-process" class="anchor"></a><code><span class="keyword">val</span> process : <a href="../IR/Cfg/index.html#type-t">IR.Cfg.t</a> <span>&#45;&gt;</span> <a href="../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>This models ARC impleme