Proofview_monad.Solution
Lens to the evar_map of the proofview.
evar_map
val get : Evd.evar_map Logical.t
val set : Evd.evar_map -> unit Logical.t
val modify : (Evd.evar_map -> Evd.evar_map) -> unit Logical.t