From 68dfa4701d7636728270dfd8f33133627486204b Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Tue, 25 Oct 2016 13:40:18 +0200
Subject: COMMENT: Names.Cmap and Names.Cmap_env

---
 kernel/names.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index 1313bae7b2..d928d300f9 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -598,7 +598,13 @@ end
 module Constant = KerPair
 
 module Cmap = HMap.Make(Constant.CanOrd)
+(** A map whose keys are constants (values of the {!Constant.t} type).
+    Keys are ordered wrt. "cannonical form" of the constant. *)
+
 module Cmap_env = HMap.Make(Constant.UserOrd)
+(** A map whose keys are constants (values of the {!Constant.t} type).
+    Keys are ordered wrt. "user form" of the constant. *)
+
 module Cpred = Predicate.Make(Constant.CanOrd)
 module Cset = Cmap.Set
 module Cset_env = Cmap_env.Set
-- 
cgit v1.2.3