Function wrapping_mul Copy item path

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

{ signed_crop(x * y) }