Module slice

Source

Re-exports§

pub use super::std_specs::vec::VecAdditionalSpecFns;

Traits§

ExSliceIndex
SliceAdditionalExecFns
SliceAdditionalSpecFns

Functions§

_verus_external_fn_specification_7__60__32__91_T_93__32__62__32__58__58__32_len
_verus_external_fn_specification_8__60__32__91_T_93__32__62__32__58__58__32_get_32__58__58__32__60__32_I_32__62_
axiom_slice_ext_equal
axiom_slice_get_usize
axiom_spec_len
group_slice_axioms
slice_index_get
slice_subrange
slice_to_vec
spec_slice_get
spec_slice_len