namespace Game.Events { /// /// Indicates that a new match has started. /// public sealed record MatchStarted( Quality BullQuality, Quality ToreadorePerformance, Quality PicadorePerformance, int ToreadoresKilled, int PicadoresKilled, int HorsesKilled) : Event; }