├── .gitignore ├── CHANGES.md ├── LICENSE ├── Makefile ├── README.md ├── dune-project ├── hashset.opam └── lib ├── dune ├── hashset.ml └── hashset.mli /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.install 3 | *merlin 4 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Hashset 2 | 3 | Sets as hash tables 4 | 5 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/dune-project -------------------------------------------------------------------------------- /hashset.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/hashset.opam -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/lib/dune -------------------------------------------------------------------------------- /lib/hashset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/lib/hashset.ml -------------------------------------------------------------------------------- /lib/hashset.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/backtracking/hashset/HEAD/lib/hashset.mli --------------------------------------------------------------------------------