Function wrapping_mul Copy item path

pub open spec fn wrapping_mul(x: i16, y: i16) -> i16

{ signed_crop(x * y) }