Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 0__ 60__ 32__ 91_ T_ 59__ 32_ N_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ as__ slice - array_
index_ get - array_
len_ matches_ n - array_
view - axiom_
array_ ext_ equal - axiom_
spec_ array_ as_ slice - axiom_
spec_ array_ fill_ for_ copy_ type - group_
array_ axioms - lemma_
array_ index - spec_
array_ as_ slice - spec_
array_ fill_ for_ copy_ type