MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / leancallable_dealloc

Function leancallable_dealloc

LeanPy/native/python_bridge.c:910–921  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

908 make_callable_type("leanpy.LeanCallableKw", 1);
909 }
910 return g_lean_callable_kw_type;
911 }
912 if (!g_lean_callable_type) {
913 g_lean_callable_type = make_callable_type("leanpy.LeanCallable", 0);
914 }
915 return g_lean_callable_type;
916}
917
918static void leancallable_dealloc(PyObject *self_) {
919 LeanCallableObject *self = (LeanCallableObject *)self_;
920 if (self->closure) {
921 lean_dec(self->closure);
922 self->closure = NULL;
923 }
924 /* Heap types track the type ref on each instance; we must dec the

Callers

nothing calls this directly

Calls 1

lean_decFunction · 0.85

Tested by

no test coverage detected