Speclib  0.1.2
The library for writing better CUDA libraries
Named Requirements

Similarly to the standard library, we define Named Requirements to specify constraints that must be satisfied by type parameters.

Similarly to the standard library, we define Named Requirements to specify constraints that must be satisfied by type parameters.

Until these can be formalised with C++20 concepts, this, plus use of static_assert to provide nice errors, is the best we can do.

See also
The STL documentation of Named Requirements
Concepts