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

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

Definition a := 0.