Module vstd::slice

Re-exports

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

Traits

• SliceAdditionalSpecFns

Functions

• axiom_spec_len
• group_slice_axioms
• slice_index_get
• slice_len
• slice_subrange
• slice_to_vec
• spec_slice_len