dafny_runtime::array

Function initialize_box

Source 
pub fn initialize_box<T>(
    n: &DafnyInt,
    initializer: Rc<dyn Fn(&DafnyInt) -> T>,
) -> Box<[T]>