Function wrapping_mul Copy item path

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

{ signed_crop(x * y) }