Partial class file for Player that currently contains no members. It defines an empty sealed partial Player class, likely intended to hold ammo-related logic but contains no code.
public sealed partial class Player { }