dafny_runtime::array

Function get

Source 
pub fn get<T: Clone>(this: Ptr<[T]>, i: &DafnyInt) -> T