unindent 0.2.4

README badge

Claims in public reports for version 0.2.4.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Funindent%2F0.2.4%2Fbadge)](https://proofs.rs/crate/unindent?version=0.2.4)

crates.io

Reports (2)

#22 Unindentation of bytes and strings in an adapted implementation

creusot 0.13.0 · 2 claims · MasWag · 2026-11-04

#20 Shared-reference delegation in unindent 0.2.4

Aeneas be86ab0 · 1 claim · 1 finding · MasWag · 2026-11-03

Findings (1)

For version 0.2.4. Statuses are author reported.

Finding	Status	Report	Links
Should an empty CRLF line affect the indentation margin?	Reported	#20 · v1	—

APIs (3)

APIs are imported from documentation or named in published verification records. 3 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Trait implementations

No trait implementations.

Recorded callables

<&T as unindent::Unindent>::unindent recorded callable · signature and safety not recorded1 claim

unindent recorded callable · signature and safety not recorded1 claim

unindent_bytes recorded callable · signature and safety not recorded1 claim