Skip to main content

spec_range_inclusive_unspecified_str_in_bounds

vstd::string

Function spec_range_inclusive_unspecified_str_in_bounds 

Source 
pub uninterp spec fn spec_range_inclusive_unspecified_str_in_bounds(
    range: &RangeInclusive<usize>,
    s: &str,
) -> bool
Expand description