wrapping_mul

vstd::wrapping::usize_specs

Function wrapping_mul 

Source 
pub open spec fn wrapping_mul(x: usize, y: usize) -> usize
Expand description
{ ((x as nat * y as nat) % (usize::MAX - usize::MIN + 1) as nat) as usize }