diff options
Diffstat (limited to 'pretyping/proofview.mli')
| -rw-r--r-- | pretyping/proofview.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pretyping/proofview.mli b/pretyping/proofview.mli index 6bc2e9a0ed..7996b7969c 100644 --- a/pretyping/proofview.mli +++ b/pretyping/proofview.mli @@ -413,6 +413,9 @@ module Unsafe : sig into [g']). It returns [None] if [g] has been (partially) solved. *) val advance : Evd.evar_map -> Evar.t -> Evar.t option + + val typeclass_resolvable : unit Evd.Store.field + end (** This module gives access to the innards of the monad. Its use is |