Skip to main content

spec_array_fill_for_copy_type

vstd::array

Function spec_array_fill_for_copy_type 

Source 
pub uninterp spec fn spec_array_fill_for_copy_type<T: Copy, const N: usize>(t: T) -> res : [T; N]
Expand description