Module Eqdecide
val decideEqualityGoal : unit Proofview.tacticval compare : EConstr.t -> EConstr.t -> unit Proofview.tactic
Eqdecideval decideEqualityGoal : unit Proofview.tacticval compare : EConstr.t -> EConstr.t -> unit Proofview.tactic