Function extern_spec_Neg_Wrapping_u16_neg 

pub fn extern_spec_Neg_Wrapping_u16_neg(self_: Wrapping<u16>) -> Wrapping<u16>

extern spec for Wrapping<u16>::neg

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

ghost

ensures

result.0 == -self.0