(*
 * See if the M.x form of qualident works.
 *)

module M;
  export X;
  export Y;
  obj X =  x:integer and y:Y;
  obj Y =  z:Z;
  obj Z =  integer;

  op Op1(x:M.X) -> integer = (
    x.x;
    x.y.z;
  );

end M;

module N;
  import M;

  op Op1(x:M.X) -> integer = (
    x.x;
    x.y.z;
  );

  op OpE(x:M.A) -> integer = (
    x.x;
  );
end N;