interface BanRe-exportimport { type Ban } from "https://deno.land/x/higa@0.1.0-fix/mod.ts"; Propertiesoptionalreason: stringuser: User