(self)
| 109 | return TacticResult.parse(encoded, self._kernel, next_state) |
| 110 | |
| 111 | def calc_enter(self) -> TacticResult: |
| 112 | encoded, next_state = self._kernel._lib.leanpy_kernel_goal_calc_enter(self._handle) |
| 113 | return TacticResult.parse(encoded, self._kernel, next_state) |
| 114 | |
| 115 | def fragment_exit(self) -> TacticResult: |
| 116 | encoded, next_state = self._kernel._lib.leanpy_kernel_goal_fragment_exit(self._handle) |