Skip to main content

_verus_external_fn_specification_12__60__32__91_T_93__32__62__32__58__58__32_len

vstd::slice

Function _verus_external_fn_specification_12__60__32__91_T_93__32__62__32__58__58__32_len 

Source 
pub unsafe exec fn _verus_external_fn_specification_12__60__32__91_T_93__32__62__32__58__58__32_len<T>(
    slice: &[T],
) -> len : usize
Expand description
returns
spec_slice_len(slice),

Specification for [<[T]>::len]