module mod17w1;
  export mod17w1 = (wa => wa, wb);
         w1i2 = (mod17v5.a, mod17v5.b);
         w1i3 = (wa);
         w1i4 = (wb => bb);
  import mod17v5 qualified;
  type t = (wa, wb);
end;
end
.
