Function _ptr_int

lean_py/_runtime.py:325–328

(o)

    _SCALAR_BIT = 1

    def _ptr_int(o):
        if o is None:
            return 0
        return ctypes.cast(o, c_void_p).value or 0

    def lean_is_scalar(self, o):
        return _ptr_int(o) & _SCALAR_BIT == 1