Function vstd::math::sub

source · 
pub open spec fn sub(x: int, y: int) -> int
Expand description
{ x - y }

This function subtracts 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.