Function hacspec_lib::update_array

pub fn update_array(array: [u8; 64], val: &[u8]) -> [u8; 64]