proofs.rs

Recorded callable

<&mut T as bs58::wrappers::EncodeTarget>::encode_with

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

Claims (1)

Claim #19 — Verification of <&mut T as bs58::wrappers::EncodeTarget>::encode_with (with creusot 0.13.0)
<&mut T as bs58::wrappers::EncodeTarget>::encode_with

bs58 0.5.1: Base58 core and selected builder behavior in a proof fork · v2 · 0 comments · MasWag