Function extern_spec_Sub_Wrapping_isize_Wrapping_isize_sub 

pub fn extern_spec_Sub_Wrapping_isize_Wrapping_isize_sub(
    self_: Wrapping<isize>,
    rhs: Wrapping<isize>,
) -> Wrapping<isize>

extern spec for Wrapping<isize>::sub

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

ensures

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