.html#module-type-MapS">Absint.AbstractDomain.MapS</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../Absint/AbstractDomain/module-type-MapS/index.html#type-key">key</a> = <a href="../BO/AbsLoc/Allocsite/index.html#type-t">BO.AbsLoc.Allocsite.t</a> <span class="keyword">and</span> <span class="keyword">type</span> <a href="../Absint/AbstractDomain/module-type-MapS/index.html#type-value">value</a> = <a href="ArrInfo/index.html#type-t">ArrInfo.t</a></code></span></summary><div