Skip to main content

rust_div

vstd::arithmetic::div_mod

Function rust_div 

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