Module Rewrite.Result

type t
type rewrite_result_info = {
  1. rew_rel : EConstr.constr;
  2. rew_to : EConstr.constr;
  3. rew_prf : EConstr.constr;
}
val fail : t
val identity : t
val success : rewrite_result_info -> t
val subst : Evd.evar_map -> (Names.Id.t -> EConstr.constr) -> t -> t