1*44117Sbostic 2*44117Sbosticimplementation module imp2; 3*44117Sbostic 4*44117Sbosticfrom exp import T, v; 5*44117Sbostic 6*44117Sbosticend imp2. 7