Function wrapping_mul Copy item path

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

{ signed_crop(x * y) }