From 450628742c1c5ef5391b0a16acfc99ad23205094 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 31 Oct 2013 20:50:44 +0100
Subject: Added a new module HMap. It works (almost) like Map, except that it
 expects the provided type to come with a hashing function. The internal
 representation is changed, such that values are first compared w.r.t. to
 their hash.

This effectively saves a lot of comparisons which may be far more expensive
than O(1), as in the string case, hence resulting in an overall speedup.

CAVEAT: everything is not implemented yet, and order-sensitive functions
now do not respect the provided order anymore.
---
 dev/printers.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index d9610fd25c..71c88bc21b 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -6,6 +6,7 @@ Hashcons
 CSet
 CMap
 Int
+HMap
 Option
 Store
 Exninfo
-- 
cgit v1.2.3