diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-06-22 22:19:02 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-06-22 22:19:02 +0000 |
| commit | 0082d2c498f90452a706f18539c10722028fdfb8 (patch) | |
| tree | 615ef44a55b047ae9e47b6df601edf5632424273 /interp/genarg.mli | |
| parent | a59fe9d45a14c04c0165102c144e4036817e5b03 (diff) | |
Légère mise à jour
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8973 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp/genarg.mli')
| -rw-r--r-- | interp/genarg.mli | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/interp/genarg.mli b/interp/genarg.mli index 3f96baae8..085795294 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 |