Struct Array16 

pub struct Array16<T> {
    pub data: Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[T]>]>]>]>]>]>]>]>]>]>]>]>]>]>]>]>,
    /* private fields */
}

Fields

data: Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[Box<[T]>]>]>]>]>]>]>]>]>]>]>]>]>]>]>]>

Implementations

impl<T> Array16<T>

pub fn length0(&self) -> DafnyInt

pub fn length0_usize(&self) -> usize

pub fn length1(&self) -> DafnyInt

pub fn length1_usize(&self) -> usize

pub fn length2(&self) -> DafnyInt

pub fn length2_usize(&self) -> usize

pub fn length3(&self) -> DafnyInt

pub fn length3_usize(&self) -> usize

pub fn length4(&self) -> DafnyInt

pub fn length4_usize(&self) -> usize

pub fn length5(&self) -> DafnyInt

pub fn length5_usize(&self) -> usize

pub fn length6(&self) -> DafnyInt

pub fn length6_usize(&self) -> usize

pub fn length7(&self) -> DafnyInt

pub fn length7_usize(&self) -> usize

pub fn length8(&self) -> DafnyInt

pub fn length8_usize(&self) -> usize

pub fn length9(&self) -> DafnyInt

pub fn length9_usize(&self) -> usize

pub fn length10(&self) -> DafnyInt

pub fn length10_usize(&self) -> usize

pub fn length11(&self) -> DafnyInt

pub fn length11_usize(&self) -> usize

pub fn length12(&self) -> DafnyInt

pub fn length12_usize(&self) -> usize

pub fn length13(&self) -> DafnyInt

pub fn length13_usize(&self) -> usize

pub fn length14(&self) -> DafnyInt

pub fn length14_usize(&self) -> usize

pub fn length15(&self) -> DafnyInt

pub fn length15_usize(&self) -> usize

pub fn placebos_box_usize( length0: usize, length1: usize, length2: usize, length3: usize, length4: usize, length5: usize, length6: usize, length7: usize, length8: usize, length9: usize, length10: usize, length11: usize, length12: usize, length13: usize, length14: usize, length15: usize, ) -> Box<Array16<MaybeUninit<T>>>

pub fn placebos_usize( length0: usize, length1: usize, length2: usize, length3: usize, length4: usize, length5: usize, length6: usize, length7: usize, length8: usize, length9: usize, length10: usize, length11: usize, length12: usize, length13: usize, length14: usize, length15: usize, ) -> Ptr<Array16<MaybeUninit<T>>>

pub fn placebos_usize_object( length0: usize, length1: usize, length2: usize, length3: usize, length4: usize, length5: usize, length6: usize, length7: usize, length8: usize, length9: usize, length10: usize, length11: usize, length12: usize, length13: usize, length14: usize, length15: usize, ) -> Object<Array16<MaybeUninit<T>>>

pub fn placebos( length0: &DafnyInt, length1: &DafnyInt, length2: &DafnyInt, length3: &DafnyInt, length4: &DafnyInt, length5: &DafnyInt, length6: &DafnyInt, length7: &DafnyInt, length8: &DafnyInt, length9: &DafnyInt, length10: &DafnyInt, length11: &DafnyInt, length12: &DafnyInt, length13: &DafnyInt, length14: &DafnyInt, length15: &DafnyInt, ) -> Ptr<Array16<MaybeUninit<T>>>

pub fn construct(p: Ptr<Array16<MaybeUninit<T>>>) -> Ptr<Array16<T>>

pub fn construct_object( p: Object<Array16<MaybeUninit<T>>>, ) -> Object<Array16<T>>

impl<T: Clone> Array16<T>

pub fn to_vec( &self, ) -> Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<Vec<T>>>>>>>>>>>>>>>>