CycA.mod 73 B

12345
  1. MODULE CycA;
  2. (* Cycle test: A imports B. *)
  3. IMPORT CycB;
  4. BEGIN
  5. END CycA.