variable redisCheckUserimport { redisCheckUser } from "https://deno.land/x/ptero@3.0/Ptero/utils/redis.ts"; type(ctx: any) => unknown