diff options
Diffstat (limited to 'engine/evd.mli')
| -rw-r--r-- | engine/evd.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/engine/evd.mli b/engine/evd.mli index fafaad9a04..40957774fe 100644 --- a/engine/evd.mli +++ b/engine/evd.mli @@ -153,9 +153,9 @@ type evar_map val empty : evar_map (** The empty evar map. *) -val from_env : env -> evar_map +val from_env : ?binders:lident list -> env -> evar_map (** The empty evar map with given universe context, taking its initial - universes from env. *) + universes from env, possibly with initial universe binders. *) val from_ctx : UState.t -> evar_map (** The empty evar map with given universe context *) |