proofs.rs

Recorded callable

<&T as unindent::Unindent>::unindent

Named in an author’s verification record. Signature and safety are not independently recorded.

Claims (1)

Claim #1 — Verification of <&T as unindent::Unindent>::unindent (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
<&T as unindent::Unindent>::unindent

Shared-reference delegation in unindent 0.2.4 · v1 · 0 comments · MasWag