Module Goal.V82
val env : Evd.evar_map -> goal -> Environ.env
val hyps : Evd.evar_map -> goal -> Environ.named_context_val
val nf_hyps : Evd.evar_map -> goal -> Environ.named_context_val
val concl : Evd.evar_map -> goal -> EConstr.constr
val mk_goal : Evd.evar_map -> Environ.named_context_val -> EConstr.constr -> goal * EConstr.constr * Evd.evar_map
val partial_solution : Environ.env -> Evd.evar_map -> goal -> EConstr.constr -> Evd.evar_map
val nf_evar : Evd.evar_map -> goal -> goal * Evd.evar_map