2020-09-19 15:44:06 +00:00
|
|
|
shared interface SwitchTurnChoice {
|
|
|
|
TurnChoiceKind Kind { get const; }
|
2021-03-28 18:22:46 +00:00
|
|
|
const Pokemon@ User { get const; }
|
2020-09-19 15:44:06 +00:00
|
|
|
Pokemon@ NewPokemon { get const; }
|
|
|
|
BaseTurnChoice@ opImplCast();
|
|
|
|
}
|