The Requirements subclauses may describe names that are used to specify
constraints on template arguments.146
These names are used in library Clauses
to describe the types that
may be supplied as arguments by a C++ program when instantiating template components from
the library.