diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-05-12 09:09:16 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-05-12 09:09:16 +0000 |
| commit | 48bb2ad5b4020f712d37ee82b03894ef7f2daa3a (patch) | |
| tree | 03d712eab80875dca7dd35f9f5854c848ff3368e /typing/ident.mli | |
| parent | b3ccea2d6de1bc35385cda52405333d9aeeaa06e (diff) | |
Ajout unique_toplevel_name pour les besoins de Translmod.transl_toplevel_item
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/ident.mli')
| -rw-r--r-- | typing/ident.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/ident.mli b/typing/ident.mli index 1d8d0580c..467e7d59a 100644 --- a/typing/ident.mli +++ b/typing/ident.mli @@ -21,6 +21,7 @@ val create_persistent: string -> t val rename: t -> t val name: t -> string val unique_name: t -> string +val unique_toplevel_name: t -> string val persistent: t -> bool val equal: t -> t -> bool (* Compare identifiers by name. *) |