Skip to main content
add_saturating
ferro_
risk
0.34.2
In ferro_
risk::
formal_
model
ferro_risk
::
formal_model
Function
add_
saturating
Copy item path
pub fn add_saturating(x:
i64
, y:
i64
) ->
i64