Hmap expose des dictionnaires hétérogènes pour OCaml. Ces dictionnaires associent des clefs à des valeurs de type arbitraire. Les clefs témoignent du type de la valeur à laquelle elles sont associées ce qui permet d'ajouter et de consulter les associations en respectant la sûreté du typage.
Hmap n'a pas de dépendances et est distribué sour la licence ISC.