Function lean_array_size

lean_py/_runtime.py:525–528

(self, o)

        ctypes.cast(addr, POINTER(c_uint64))[0] = val

    def lean_array_size(self, o):
        arr_cls = structs.get("lean_array_object")
        arr = ctypes.cast(o, POINTER(arr_cls))
        return arr.contents.m_size

    def lean_array_get_core(self, o, i):
        arr_cls = structs.get("lean_array_object")