Function lean_obj_handle_dealloc

LeanPy/native/python_bridge.c:1079–1089

tp_dealloc: release the lean_object ref and free the instance. */

    PyObject     *ob_type;
    lean_object  *ptr;  /* owned reference */
} LeanObjHandle;

/* Slots for the heap type created via PyType_FromSpec. */

/* METH_NOARGS = 0x0004 */
#define LEAN_METH_NOARGS 0x0004

/* tp_dealloc: release the lean_object ref and free the instance. */
static void lean_obj_handle_dealloc(PyObject *self) {
    LeanObjHandle *h = (LeanObjHandle *)self;
    if (h->ptr) {
        lean_dec(h->ptr);
        h->ptr = NULL;
    }