Function wrapping_mul Copy item path

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

{ signed_crop(x * y) }