proofs.rs

Trait method

<nohash_hasher::NoHashHasher as Hasher>::write_i64

impl<T: IsEnabled> Hasher for NoHashHasher<T>
pub fn write_i64(self: &mut Self, n: i64)

Documentation on docs.rs

Claims (1)

Claim #13 — Verification of <nohash_hasher::NoHashHasher as Hasher>::write_i64 (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
<nohash_hasher::NoHashHasher as Hasher>::write_i64

Exact integer writes and misuse checks in NoHashHasher · v5 · 0 comments · nyuichi