4.3BSD-Tahoe/usr/src/ucb/dbx/tests/mod/imp1.mod

implementation module imp1;

from exp import T, v;

end imp1.