From 751dcd48cc4703bf74d1a0d440cc61390ccf505d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?=
 <Jerome.Vouillon@pps.jussieu.fr>
Date: Sun, 9 Mar 1997 18:40:54 +0000
Subject: [PATCH] Nettoyage de nondep_type.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 typing/ctype.mli | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/typing/ctype.mli b/typing/ctype.mli
index df6ef295a..9a1d12805 100644
--- 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. *)