ex.html#module-type-InvertedMapS">Absint.AbstractDomain.InvertedMapS</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../../../Absint/AbstractDomain/module-type-InvertedMapS/index.html#type-key">key</a> = <a href="../../../Absint/HilExp/AccessExpression/index.html#type-t">Absint.HilExp.AccessExpression.t</a> <span class="keyword">and</span> <span class="keyword">type</span> <a href="../../../Absint/AbstractDomain/module-type-InvertedMapS/index.html#type-value">value</a> = <a 