type alias proxyPkgimport { type proxyPkg } from "https://dotland.deno.dev/x/trex@v1.13.1/utils/types.ts"; definition: { module: string; url: string; }