Function vstd::math::div

source ·

pub open spec fn div(x: int, y: int) -> int

Expand description

{ x / y }

This function divides two integers. It’s sometimes useful as a substitute for / in triggers that feature function invocations, since mathematical operators can’t be mixed with function invocations in triggers.