Suites modifs du noyau. Univ devient purement fonctionnel.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2183 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 3 deletions

diff --git a/kernel/environ.mli b/kernel/environ.mli
index 83915157a8..8e1d848de4 100644
--- a/kernel/environ.mli
+++ b/kernel/environ.mli
@@ -47,14 +47,15 @@ val push_rec_types : rec_declaration -> env -> env
 
 (*s Recurrence on [named_context]: older declarations processed first *)
 val fold_named_context :
-  (env -> named_declaration -> 'a -> 'a) -> env -> 'a -> 'a
+  (env -> named_declaration -> 'a -> 'a) -> env -> init:'a -> 'a
 
 (* Recurrence on [named_context] starting from younger decl *)
 val fold_named_context_reverse :
-  ('a -> named_declaration -> 'a) -> 'a -> env -> 'a
+  ('a -> named_declaration -> 'a) -> init:'a -> env -> 'a
 
 (*s Recurrence on [rel_context] *)
-val fold_rel_context : (env -> rel_declaration -> 'a -> 'a) -> env -> 'a -> 'a
+val fold_rel_context :
+  (env -> rel_declaration -> 'a -> 'a) -> env -> init:'a -> 'a
 
 (*s add entries to environment *)
 val set_universes : universes -> env -> env