| void | doubleValue(Integral auto value) |
| T | pick(T a, T b) |
| T | processConcept(T value) |
| T | sum(T a, T b) |
Doubles value, which must satisfy the Integral concept.
Uses the constrained-auto syntax (Integral auto) — the function takes any single-argument type that models Integral.
Picks the larger of a and b.
The template head constrains T through the namespaced traits::Sortable concept, exercising qualified-name resolution in the rendered synopsis.
Doubles value using a trailing requires clause that names the Integral concept directly. Exercises the trailing-requires autolink on the documented concept rather than on a compound trait expression.
Sums two values constrained by the Integral concept.
a and b must both satisfy the Integral concept; the function uses the template-head requires form to express this.