Skip to main content

extern_spec_Mul_Wrapping_u64_Wrapping_u64_mul

creusot_std::std::num

Function extern_spec_Mul_Wrapping_u64_Wrapping_u64_mul 

Source 
pub fn extern_spec_Mul_Wrapping_u64_Wrapping_u64_mul(
    self_: Wrapping<u64>,
    rhs: Wrapping<u64>,
) -> Wrapping<u64>
Expand description

extern spec for Wrapping<u64>::mul

This is not a real function: its only use is for documentation.

ensures 

result.0 == self.0 * rhs.0