Function mem_contents_wrap Copy item path

pub uninterp fn mem_contents_wrap<V, const N: usize>(
    data: MemContents<[V; N]>,
) -> res : [MemContents<V>; N]