M2compiler-V3/compiler/tests/e_enum_re.def

DEFINITION MODULE EEnumRe;
(* re-exports EEnum's type; its literals must re-export too *)
IMPORT EEnum;
TYPE Colour = EEnum.Colour;
END EEnumRe.