Какой из следующих синтаксисов корректно объявляет тип, который может быть либо int, либо str в Python 3.10+?