path: root/src/Util/Tactics/HasBody.v

(** Checks if a hypothesis has a body *)

Ltac has_body x := let test := eval unfold x in x in idtac.