(self, src: str)
| 404 | return self._lib.leanpy_kernel_delab_instantiate_all(src) |
| 405 | |
| 406 | def expr_proj_to_app(self, src: str) -> str: |
| 407 | return self._lib.leanpy_kernel_delab_expr_proj_to_app(src) |
| 408 | |
| 409 | |
| 410 | __all__ = ["Kernel", "GoalState", "TacticResult"] |
no outgoing calls