Function lean_is_external

lean_py/_runtime.py:441–442 · view source on GitHub ↗

(self, o)

Source from the content-addressed store, hash-verified

439	return self.lean_ptr_tag(o) == constants.get("LeanPromise", 244)
440
441	def lean_is_external(self, o):
442	return self.lean_ptr_tag(o) == constants.get("LeanExternal", 254)
443
444	def lean_is_ref(self, o):
445	return self.lean_ptr_tag(o) == constants.get("LeanRef", 253)

leanpy_unwrap_pyobjectFunction · 0.85

lean_py_to_lean_objFunction · 0.85

leanpy_is_lean_obj_handleFunction · 0.85

getMethod · 0.45

no test coverage detected