dafny_runtime::array

Function initialize_usize

Source
pub fn initialize_usize<T>(
    n: usize,
    initializer: Rc<dyn Fn(usize) -> T>,
) -> Ptr<[T]>