rity:<span>(<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><span><a href="../PurityDomain/ModifiedParamIndices/index.html#type-t">PurityDomain.ModifiedParamIndices.t</a> <a href="../../Absint/AbstractDomain/Types/index.html#type-top_lifted">Absint.AbstractDomain.Types.top_lifted</a></span> option</span>)</span></span> <span>&#45;&gt;</span> <a href="../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> <span>&#45;&gt;</span> <a href="LoopNodes/index.h