add_nonnegative_saturating
ferro_
clock
0.2.0
In ferro_
clock::
model
ferro_clock
::
model
Function
add_
nonnegative_
saturating
Copy item path
pub fn add_nonnegative_saturating(x:
i64
, y:
i64
) ->
i64