package Ġcom . j of air den . discord kt . model . context . event Ċ Ċ import Ġcom . fasterxml . jackson . annotation . JsonProperty Ċ import Ġcom . j of air den . discord kt . api . Discord Client Ċ import Ġcom . j of air den . discord kt . model . discord . user . Discord User Ċ Ċ data Ġclass ĠGuild Ban Event Context ( ĊĠĠĠ Ġ@ JsonProperty (" guild _ id ") ĊĠĠĠ Ġval Ġguild Id : ĠLong , ĊĊĠĠĠ Ġ@ JsonProperty (" user ") ĊĠĠĠ Ġval Ġuser : ĠDiscord User Ċ ) Ġ: ĠI Event Context Ġ{ ĊĠĠĠ Ġoverride Ġlateinit Ġvar Ġdiscord Client : ĠDiscord Client Ċ } Ċ