pub uninterp fn mem_contents_unwrap<V, const N: usize>(
arr: [MemContents<V>; N],
) -> res : MemContents<[V; N]>Expand description
recommends
is_mem_contents_all_init(arr) || is_mem_contents_all_uninit(arr),