proofs.rs

Trait method

<T as num_conv::Truncate>::checked_truncate

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

Documentation on docs.rs

Claims (1)

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

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