(self)
| 105 | return TacticResult.parse(encoded, self._kernel, next_state) |
| 106 | |
| 107 | def conv_enter(self) -> TacticResult: |
| 108 | encoded, next_state = self._kernel._lib.leanpy_kernel_goal_conv_enter(self._handle) |
| 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) |