proofs.rs

Trait method

<T as num_conv::Truncate>::saturating_truncate

impl<T: sealed::Integer> num_conv::Truncate for T
pub fn saturating_truncate<U>(self: Self) -> U where T: TruncateTarget<U>

Documentation on docs.rs

Claims (1)

Claim #4 — Verification of <T as num_conv::Truncate>::saturating_truncate (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)
<T as num_conv::Truncate>::saturating_truncate

num-conv 0.2.2 integer conversion correctness · v1 · 0 comments · MasWag