Standard library header <stdckdint.h> (C23)

This header is part of numeric library, in particular, it provides type-generic macros for checked integer arithmetic.

Functions
ckd_add (C23)	checked addition operation on two integers (type-generic function macro)
ckd_sub (C23)	checked subtraction operation on two integers (type-generic function macro)
ckd_mul (C23)	checked multiplication operation on two integers (type-generic function macro)

Synopsis

#define __STDC_VERSION_STDCKDINT_H__ 202311L

bool ckd_add(/*type1*/* result, /*type2*/ a, /*type3*/ b);
bool ckd_sub(/*type1*/* result, /*type2*/ a, /*type3*/ b);
bool ckd_mul(/*type1*/* result, /*type2*/ a, /*type3*/ b);