From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

---
 kernel/safe_typing.mli | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'kernel/safe_typing.mli')

diff --git a/kernel/safe_typing.mli b/kernel/safe_typing.mli
index 148a9d9d..c3d0abde 100644
--- a/kernel/safe_typing.mli
+++ b/kernel/safe_typing.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: safe_typing.mli 7639 2005-12-02 10:01:15Z gregoire $ i*)
+(*i $Id: safe_typing.mli 8723 2006-04-16 15:51:02Z herbelin $ i*)
 
 (*i*)
 open Names
@@ -72,17 +72,17 @@ val set_engagement : engagement -> safe_environment -> safe_environment
 
 (*s Interactive module functions *)
 val start_module : 
-  label -> (mod_bound_id * module_type_entry) list 
-    -> module_type_entry option 
-      -> safe_environment -> module_path * safe_environment
+  label -> safe_environment -> module_path * safe_environment
 
 val end_module :
-  label -> safe_environment -> module_path * safe_environment 
+  label -> module_type_entry option 
+      -> safe_environment -> module_path * safe_environment 
 
+val add_module_parameter :
+  mod_bound_id -> module_type_entry -> safe_environment -> safe_environment
 
 val start_modtype :
-  label -> (mod_bound_id * module_type_entry) list
-    -> safe_environment -> module_path * safe_environment
+  label -> safe_environment -> module_path * safe_environment
 
 val end_modtype :
   label -> safe_environment -> kernel_name * safe_environment
-- 
cgit v1.2.3