/** * @param p { import("./a").Pet } */ function walk(p) { console.log(`Walking ${p.name}...`); }