implementation module imp1;

from exp import T, v;

end imp1.