replace_memory

Description:

public void replace_memory (uint idx, owned Memory mem)

Replaces the memory block at index idx in this with mem.

Parameters:

this

a Buffer.
idx

an index
mem

a Memory