path: root/coq/ex/test-cases/retract-completely-asserted/a.v

(* The following defines the absolute name a.a *)

Definition a := 0.