pan class="keyword">include</span> <a href="../../Absint/AbstractDomain/index.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="../../BO/AbsLoc/Loc/index.html#type-t">BO.AbsLoc.Loc.t</a> <span class="keyword">and</span> <span class="keyword">type</span> <a href="../../Absint/AbstractDomain/module-type-InvertedMapS/index.