l2impl.mod 80 B

12345
  1. IMPLEMENTATION MODULE L2Mod;
  2. FROM L1Mod IMPORT a;
  3. BEGIN
  4. b := a * 2
  5. END L2Mod.