├── .gitignore ├── .merlin ├── .ocp-indent ├── CHANGES.md ├── LICENSE.md ├── README.md ├── _tags ├── doc ├── api.odocl └── dev.odocl ├── opam ├── pkg ├── META └── pkg.ml ├── src ├── hmap.ml ├── hmap.mli └── hmap.mllib └── test └── test.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- 1 | S src 2 | S test 3 | B _build/** 4 | -------------------------------------------------------------------------------- /.ocp-indent: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/.ocp-indent -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/_tags -------------------------------------------------------------------------------- /doc/api.odocl: -------------------------------------------------------------------------------- 1 | Hmap -------------------------------------------------------------------------------- /doc/dev.odocl: -------------------------------------------------------------------------------- 1 | Hmap -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/opam -------------------------------------------------------------------------------- /pkg/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/pkg/META -------------------------------------------------------------------------------- /pkg/pkg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/pkg/pkg.ml -------------------------------------------------------------------------------- /src/hmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/src/hmap.ml -------------------------------------------------------------------------------- /src/hmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/src/hmap.mli -------------------------------------------------------------------------------- /src/hmap.mllib: -------------------------------------------------------------------------------- 1 | Hmap 2 | -------------------------------------------------------------------------------- /test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hmap/HEAD/test/test.ml --------------------------------------------------------------------------------