From 0082d2c498f90452a706f18539c10722028fdfb8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 22 Jun 2006 22:19:02 +0000
Subject: Légère mise à jour

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8973 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/genarg.mli | 29 +++++++++++++++--------------
 1 file changed, 15 insertions(+), 14 deletions(-)

diff --git a/interp/genarg.mli b/interp/genarg.mli
index 3f96baae8e..085795294e 100644
--- a/interp/genarg.mli
+++ b/interp/genarg.mli
@@ -60,20 +60,21 @@ Transformation for each type :
 \begin{verbatim}
 tag                            raw open type            cooked closed type
 
-BoolArgType                    bool                     bool
-IntArgType                     int                      int
-IntOrVarArgType                int or_var               int
-StringArgType                  string (parsed w/ "")    string
-PreIdentArgType                string (parsed w/o "")   (vernac only)
-IdentArgType                   identifier               identifier
-IntroPatternArgType            intro_pattern_expr       intro_pattern_expr
-VarArgType                     identifier               constr
-RefArgType                     reference                global_reference
-ConstrArgType                  constr_expr              constr
-ConstrMayEvalArgType           constr_expr may_eval     constr
-QuantHypArgType                quantified_hypothesis    quantified_hypothesis
-OpenConstrArgType              constr_expr              open_constr
-ConstrBindingsArgType      constr_expr with_bindings constr with_bindings
+BoolArgType                    bool                      bool
+IntArgType                     int                       int
+IntOrVarArgType                int or_var                int
+StringArgType                  string (parsed w/ "")     string
+PreIdentArgType                string (parsed w/o "")    (vernac only)
+IdentArgType                   identifier                identifier
+IntroPatternArgType            intro_pattern_expr        intro_pattern_expr
+VarArgType                     identifier                identifier
+RefArgType                     reference                 global_reference
+QuantHypArgType                quantified_hypothesis     quantified_hypothesis
+ConstrArgType                  constr_expr               constr
+ConstrMayEvalArgType           constr_expr may_eval      constr
+OpenConstrArgType              open_constr_expr          open_constr
+ConstrWithBindingsArgType      constr_expr with_bindings constr with_bindings
+BindingsArgType                constr_expr bindings      constr bindings
 List0ArgType of argument_type
 List1ArgType of argument_type
 OptArgType of argument_type
-- 
cgit v1.2.3