e_lib.def 82 B

1234
  1. DEFINITION MODULE ELib;
  2. TYPE Color = (Red, Green, Blue);
  3. VAR c : Color;
  4. END ELib.