package hashset

You can search for identifiers within the package.

in-package search v0.2.0

Sets as hash tables

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (2)

Authors

J

Jean-Christophe Filliâtre

Maintainers

J

Jean-Christophe.Filliatre@cnrs.fr

Sources

sha256=93247267292744cf92752658dbf1e1a55b036e53551ce8b8eb9ea07abdddd8fe

md5=e4ec32fe3c3cdbb7dfa1decc0cbd78ec

README.md.html

Hashset

Sets as hash tables