M2compiler-V3/tools/m2make/tests/CycB.mod

MODULE CycB;
(* Cycle test: B imports A. *)
IMPORT CycA;
BEGIN
END CycB.