(****
 *
 * Sub-modules used in ./qualident-tst.rsl.  These are the same as in the 
 * stand-alone sub-modules-tst.rsl, but here the module with the on-purpose
 * error is omitted.
 *
 *)

module M;
  import N;
  export N;

  op Op(x:M.N.O.X);

end M;

module N;
  import O;
  export O;

end N;

module O;
  export X;

  obj X =  i:integer and s:string;

end O;