(* This file depends on ../a/a.v *)

Add LoadPath "../a".

Require a.

Print a.a.