/div><div class="odoc-spec"><div class="spec module" id="module-HpredSet" class="anchored"><a href="#module-HpredSet" class="anchor"></a><code><span><span class="keyword">module</span> HpredSet</span><span> : <span class="xref-unresolved">IStdlib</span>.IStd.Caml.Set.S <span class="keyword">with</span> <span><span class="keyword">type</span> <span class="xref-unresolved">elt</span> = <span class="xref-unresolved">hpred</span></span></span></code></div><div class="spec-doc"><p>Sets of heap predicates</p></di