Function lean_unbox

lean_py/_runtime.py:340–341 · view source on GitHub ↗

(self, o)

Source from the content-addressed store, hash-verified

338	return ctypes.cast(c_void_p(ptr_val), LeanObjectPtr)
339
340	def lean_unbox(self, o):
341	return _ptr_int(o) >> 1
342
343	def lean_ptr_tag(self, o):
344	return o.contents.m_tag

leanpy_unboxFunction · 0.85

format_lean_io_errorFunction · 0.85

_ptr_intFunction · 0.85

no test coverage detected