Function extern_spec_Mul_Wrapping_u16_Wrapping_u16_mul 

pub fn extern_spec_Mul_Wrapping_u16_Wrapping_u16_mul(
    self_: Wrapping<u16>,
    rhs: Wrapping<u16>,
) -> Wrapping<u16>

extern spec for Wrapping<u16>::mul

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

ensures

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