Cpp20Concepts Proxy Page | Qt 1.0
Keywords: auto-generated

# Cpp20Concepts Proxy Page

## Functions

void | doubleValue(Integral auto value)
T | pick(T a, T b)
T | processConcept(T value)
T | sum(T a, T b)

## Function Documentation

### template <Integral value:auto> void doubleValue(Integral auto value)

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.

### template <typename T> requires traits::Sortable<T> T pick(T a, T b)

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.

### template <typename T> T processConcept(T value) requires Integral<T>

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.

### template <typename T> requires Integral<T> T sum(T a, T b)

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.