From f4a6a6aaa928e7a6c8d360c45268cb82c020c2dc Mon Sep 17 00:00:00 2001 From: ppedrot Date: Sun, 25 Aug 2013 22:34:08 +0000 Subject: Added a more efficient way to recover the domain of a map. The extended signature is defined in CMap, and should be compatible with the old one, except that module arguments have to be explicitely named. The implementation itself is quite unsafe, as it relies on the current implementation of OCaml maps, even though that should not be a problem (it has not changed in ages). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16735 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/libnames.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'library/libnames.mli') diff --git a/library/libnames.mli b/library/libnames.mli index 627b8f013..60ec7af79 100644 --- a/library/libnames.mli +++ b/library/libnames.mli @@ -6,6 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) +open Util open Pp open Loc open Names @@ -37,7 +38,7 @@ val drop_dirpath_prefix : DirPath.t -> DirPath.t -> DirPath.t val is_dirpath_prefix_of : DirPath.t -> DirPath.t -> bool module Dirset : Set.S with type elt = DirPath.t -module Dirmap : Map.S with type key = DirPath.t +module Dirmap : Map.ExtS with type key = DirPath.t and module Set := Dirset (** {6 Full paths are {e absolute} paths of declarations } *) type full_path -- cgit v1.2.3