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