package coq
val get : Evd.evar_map Logical.tval set : Evd.evar_map -> unit Logical.tval modify : (Evd.evar_map -> Evd.evar_map) -> unit Logical.tval get : Evd.evar_map Logical.tval set : Evd.evar_map -> unit Logical.tval modify : (Evd.evar_map -> Evd.evar_map) -> unit Logical.t