Function lean_ctor_set

lean_py/_runtime.py:479–485

(self, o, i, v)

        return ctypes.cast(c_void_p(raw_val), LeanObjectPtr)

    def lean_ctor_set(self, o, i, v):
        ctor_cls = structs.get("lean_ctor_object")
        ctor = ctypes.cast(o, POINTER(ctor_cls))
        offset = ctor_cls.m_objs.offset
        addr = ctypes.addressof(ctor.contents) + offset
        arr = ctypes.cast(addr, POINTER(LeanObjectPtr * (i + 1)))
        arr.contents[i] = v

    def lean_ctor_scalar_addr(self, o, byte_offset):
        """Base address + byte_offset into the m_objs region of a ctor."""