rd">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>This module provides abstract transfer functions for comparisons on unordered values, only based on equality, like abstract locations.</p></div></div></div></body></html>