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 cbdc20f92..e21516681 100644 --- a/pretyping/evarutil.mli +++ b/pretyping/evarutil.mli @@ -198,3 +198,5 @@ val clear_hyps_in_evi : evar_map ref -> named_context_val -> types -> val push_rel_context_to_named_context : Environ.env -> types -> named_context_val * types * constr list + +val generalize_evar_over_rels : evar_map -> existential -> types * constr list |