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