(self, tactics: list[Tactic])
| 140 | __slots__ = ("_tactics",) |
| 141 | |
| 142 | def __init__(self, tactics: list[Tactic]) -> None: |
| 143 | super().__init__("or_else") |
| 144 | self._tactics = tactics |
| 145 | |
| 146 | def apply(self, goal: Goal) -> ApplyResult: |
| 147 | for tac in self._tactics: |