interface Userimport { type User } from "https://deno.land/x/cordeno@v0.3.5/src/client/interfaces/user.ts"; Propertiesid: stringusername: stringdiscriminator: stringavatar: stringoptionalbot: booleanoptionalsystem: booleanoptionalmfa_enabled: booleanoptionallocale: stringoptionalverified: booleanoptionalemail: stringoptionalflags: numberoptionalpremium_type: numberoptionalpublic_flags: number