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 partial_solution_to : Environ.env -> Evd.evar_map -> goal -> goal -> EConstr.constr -> Evd.evar_map
val progress : goal list Evd.sigma -> goal Evd.sigma -> bool
val nf_evar : Evd.evar_map -> goal -> goal * Evd.evar_map
val abstract_type : Evd.evar_map -> goal -> EConstr.types