4 ms·
As for saturated arithmetic you can (as in many languages) overload operators (with added post condition that you can check at runtime, or prove statically, if
by touisteur 3y ago
As for saturated arithmetic you can (as in many languages) overload operators (with added post condition that you can check at runtime, or prove statically, if you kept the SPARK provable subset of Ada).