Function vstd::math::add

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

This function adds two integers together. 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.