| 226 | } |
| 227 | |
| 228 | static lean_external_class *get_py_class(void) { |
| 229 | if (!g_py_class) { |
| 230 | g_py_class = lean_register_external_class(py_finalize, py_foreach); |
| 231 | } |
| 232 | return g_py_class; |
| 233 | } |
| 234 | |
| 235 | static lean_object *wrap_pyobject(PyObject *o) { |
| 236 | return lean_alloc_external(get_py_class(), o); |