Mario Pernici has written the original hashSet library for Ocaml. I did one or two changes to it while working on our SMT solver beaver. The changes are based on Pernici's version 0.2. The changes don't break any existing features, so it's alright to replace your existing installed copy of hashSet with this one.

Download the source: hashset-0.2-modified-1.tar.gz

How to install

Do configure; make install.

List of changes

• Use of GNU autotools – autoconf, automake, and OCamlMakefile to build and install hashSet.
• Added HashSet.find, which is like [mem], but instead of returning bool, it returns the element inside the set if there was a match, otherwise raises Not_found. This is useful if equality relation for elements is defined only on partial contents of elements.