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

Function lean_inc

lean_py/_runtime.py:402–404  ·  view source on GitHub ↗
(self, o)

Source from the content-addressed store, hash-verified

400 self.lean_dec_ref_cold(o)
401
402 def lean_inc(self, o):
403 if not self.lean_is_scalar(o):
404 self.lean_inc_ref(o)
405
406 def lean_inc_n(self, o, n):
407 if not self.lean_is_scalar(o):

Callers 4

leanpy_incFunction · 0.85
leancallable_callFunction · 0.85
lean_py_of_lean_objFunction · 0.85
lean_py_to_lean_objFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected