concept Addable demo¶ template <typename T> concept Addable = requires(T a, T b) { … } Concept that checks if a type supports addition. Template parameters T concept parameter Defined at library.hpp:238