diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-06-23 10:06:50 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-06-23 10:06:50 +0000 |
| commit | 19d79cd6aca36ea74e50f3c608a188d81c79f6b3 (patch) | |
| tree | 1eda57120ad1d8ea57c0ab269a256257243184fa /typing/path.mli | |
| parent | ebc71b0f80af6f02b4867c1211c2a05b81650b57 (diff) | |
| download | ocaml-19d79cd6aca36ea74e50f3c608a188d81c79f6b3.tar.gz | |
Meilleurs noms pour les exceptions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/path.mli')
| -rw-r--r-- | typing/path.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/path.mli b/typing/path.mli index 4583c3cf18..fa71787ad5 100644 --- a/typing/path.mli +++ b/typing/path.mli @@ -23,3 +23,5 @@ val isfree: Ident.t -> t -> bool val binding_time: t -> int val nopos: int + +val name: t -> string |