namespace Game.Events
{
    /// <summary>
    /// Indicates that the player has survived being gored by the bull.
    /// </summary>
    public sealed record PlayerSurvived() : Event;
}