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.