type BattleParty { Party@ Party { get const; }; }