Skip to main content

rust_rem

vstd::arithmetic::div_mod

Function rust_rem 

Source 
pub open spec fn rust_rem(a: int, b: int) -> int
Expand description
recommends
b != 0,
{ if a == 0 { 0 } else if a > 0 { a % b } else { -((-a) % b) } }