diff options
Diffstat (limited to 'pretyping/evd.ml')
| -rw-r--r-- | pretyping/evd.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pretyping/evd.ml b/pretyping/evd.ml index be35cb9475..d7468eded5 100644 --- a/pretyping/evd.ml +++ b/pretyping/evd.ml @@ -118,6 +118,9 @@ let existential_opt_value sigma ev = with NotInstantiatedEvar -> None (*******************************************************************) +type open_constr = evar_map * constr + +(*******************************************************************) (* The type constructor ['a sigma] adds an evar map to an object of type ['a] *) type 'a sigma = { |