ndex.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>&#45;&gt;</span> <a href="../ReachingDefs/index.html#type-invariant_map">ReachingDefs.invariant_map</a> <span>&#45;&gt;</span> <span><a href="LoopNodes/index.html#type-t">LoopNodes.t</a> <a href="index.html#module-LoopHeadToInvVars">LoopHeadToInvVars</a>.t</span> <span>&#45;&gt;</span> <a href="index.htm