from datetime import date from typing import Literal EASTER_JULIAN: Literal[1] EASTER_ORTHODOX: Literal[2] EASTER_WESTERN: Literal[3] def easter(year: int, method: Literal[1, 2, 3] = 3) -> date: ...