l1impl.mod 55 B

1234
  1. IMPLEMENTATION MODULE L1Mod;
  2. BEGIN
  3. a := 5
  4. END L1Mod.