def __setitem__(self, key: BitVec, value: BitVec) -> None:
        """Sets an item in the array, key can be symbolic."""
        self.raw = z3.Store(self.raw, key.raw, value.raw)
def __setitem__ ( self , key : BitVec , value : BitVec ) -> None : self . raw = z3 . Store ( self . raw , key . raw , value . raw )
Sets an item in the array, key can be symbolic.