Method

ascii::AsciiStr::as_mut_slice

impl AsciiStr
pub fn as_mut_slice(self: &mut Self) -> &mut [AsciiChar]

Documentation on docs.rs

Claims (1)

Claim #30 — Verification of ascii::AsciiStr::as_mut_slice (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)

ascii::AsciiStr::as_mut_slice

ASCII classification, string views and sequence updates · v9 · 0 comments · nyuichi