(self, src: str)
| 319 | return self._lib.leanpy_kernel_pretty_print(src) |
| 320 | |
| 321 | def whnf(self, src: str) -> str: |
| 322 | return self._lib.leanpy_kernel_whnf(src) |
| 323 | |
| 324 | def expr_echo(self, src: str) -> tuple[str, str]: |
| 325 | s = self._lib.leanpy_kernel_expr_echo(src) |