proofs.rs

Function

normalize_line_endings::normalized

pub fn normalized<impl Iterator<Item = char>: Iterator<Item = char>>(iter: impl Iterator<Item = char>) -> impl Iterator<Item = char>

Documentation on docs.rs

Claims (1)

Claim #1 — Verification of normalize_line_endings::normalized (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
normalize_line_endings::normalized

CR/LF/CRLF normalization for finite character lists (adapted source) · v5 · 0 comments · nyuichi