Function wrapping_mul Copy item path

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

{ signed_crop(x * y) }