Skip to main content

extern_spec_Sub_Wrapping_i128_Wrapping_i128_sub

creusot_std::std::num

Function extern_spec_Sub_Wrapping_i128_Wrapping_i128_sub 

Source 
pub fn extern_spec_Sub_Wrapping_i128_Wrapping_i128_sub(
    self_: Wrapping<i128>,
    rhs: Wrapping<i128>,
) -> Wrapping<i128>
Expand description

extern spec for Wrapping<i128>::sub

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

ensures 

result.0 == self.0 - rhs.0