diff options
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 da3033b0c..d6677fdc4 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 |