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