Function spec_array_update Copy item path

pub uninterp fn spec_array_update<T, const N: usize>(
    array: [T; N],
    i: int,
    t: T,
) -> [T; N]