Nettoyage de nondep_type.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09 18:40:54 +00:00 · 1997-03-09 18:40:54 +00:00 · 751dcd48cc
parent 57ae4bb09b
commit 751dcd48cc
1 changed files with 4 additions and 0 deletions
--- a/typing/ctype.mli
+++ b/typing/ctype.mli
@ -116,6 +116,10 @@ val nondep_type: Env.t -> Ident.t -> type_expr -> type_expr
        (* Return a type equivalent to the given type but without
           references to the given module identifier. Raise [Not_found]
           if no such type exists. *)
+val nondep_type_decl:
+        Env.t -> Ident.t -> Ident.t -> bool -> type_declaration ->
+        type_declaration
+        (* Same for type declarations. *)
 val nondep_class_type: Env.t -> Ident.t -> class_type -> class_type
        (* Same for class types. *)