diff options
| author | barras | 2004-03-15 17:00:28 +0000 |
|---|---|---|
| committer | barras | 2004-03-15 17:00:28 +0000 |
| commit | ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e (patch) | |
| tree | ec2a8a0ef223b0aa284397c439cfd3c2252d2b64 /pretyping/termops.mli | |
| parent | 2b392931c8db9c8395a03b5f36b16264e4bddf86 (diff) | |
preparation pour release (suite)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/termops.mli')
| -rw-r--r-- | pretyping/termops.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pretyping/termops.mli b/pretyping/termops.mli index da3033b0c0..d6677fdc4a 100644 --- a/pretyping/termops.mli +++ b/pretyping/termops.mli @@ -23,6 +23,7 @@ val new_sort_in_family : sorts_family -> sorts (* iterators on terms *) val print_sort : sorts -> std_ppcmds val print_sort_family : sorts_family -> std_ppcmds +val print_constr : constr -> std_ppcmds val prod_it : init:types -> (name * types) list -> types val lam_it : init:constr -> (name * types) list -> constr val rel_vect : int -> int -> constr array |