generic, term et evd

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 13 insertions, 0 deletions

diff --git a/kernel/names.ml b/kernel/names.ml
index af7f1f719..e9de197fe 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -65,6 +65,14 @@ let id_ord id1 id2 =
 
 let id_without_number id = id.index = (-1)
 
+module IdOrdered = 
+  struct
+    type t = identifier
+    let compare = id_ord
+  end
+
+module Idset = Set.Make(IdOrdered)
+
 
 (* Fresh names *)
 
@@ -105,6 +113,9 @@ let get_new_ids n id lids  =
   in 
   get_rec n []
 
+let id_of_name default = function
+  | Name s -> s
+  | Anonymous -> default
 
 (* Kinds *)
 
@@ -199,6 +210,8 @@ module SpOrdered =
 
 module Spset = Set.Make(SpOrdered)
 
+module Spmap = Map.Make(SpOrdered)
+
 (* Hash-consing of name objects *)
 module Hident = Hashcons.Make(
   struct