Function extern_spec_Neg_Wrapping_i128_neg 

pub fn extern_spec_Neg_Wrapping_i128_neg(
    self_: Wrapping<i128>,
) -> Wrapping<i128>

extern spec for Wrapping<i128>::neg

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

ghost

ensures

result.0 == -self.0