diff options
Diffstat (limited to 'pretyping/evarutil.mli')
| -rw-r--r-- | pretyping/evarutil.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pretyping/evarutil.mli b/pretyping/evarutil.mli index 8c5fe9c99b..6ce30ff79b 100644 --- a/pretyping/evarutil.mli +++ b/pretyping/evarutil.mli @@ -106,6 +106,8 @@ val split_tycon : val valcon_of_tycon : type_constraint -> val_constraint +val lift_abstr_tycon_type : int -> type_constraint_type -> type_constraint_type + val lift_tycon_type : int -> type_constraint_type -> type_constraint_type val lift_tycon : int -> type_constraint -> type_constraint |