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

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

Definition a := 1.