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.