(self, src: str)
| 401 | return self._lib.leanpy_kernel_delab_unfold_matchers(src) |
| 402 | |
| 403 | def instantiate_all(self, src: str) -> 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) |
no outgoing calls