implementation module imp2;

from exp import T, v;

end imp2.