proofs.rs

Associated function

ascii::AsciiChar::from_ascii

impl AsciiChar
pub fn from_ascii<C: ToAsciiChar>(ch: C) -> Result<Self, ToAsciiCharError>

Documentation on docs.rs

Claims (1)

Claim #50 — Verification of ascii::AsciiChar::from_ascii (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
ascii::AsciiChar::from_ascii

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