interface ZodNeverDef implements ZodTypeDefimport { type ZodNeverDef } from "https://dotland.deno.dev/x/zod@v3.17.10/external.ts"; PropertiestypeName: ZodFirstPartyTypeKind.ZodNever