wrapping_mul

vstd::wrapping::u8_specs

Function wrapping_mul 

Source 
pub open spec fn wrapping_mul(x: u8, y: u8) -> u8
Expand description
{ ((x as nat * y as nat) % 0x100 as nat) as u8 }