module M.N {
  requires A.B;
  requires public C.D;

  exports P.Q;
  exports R.S to T1.U1, T2.U2;

  uses V.W;
  provides X.Y with Z1.Z2;
  provides X.Y with Z3.Z4;
}