cpp/concepts/invocable

The concept specifies that a callable type  can be called with a set of arguments  using the function template std.

The concept adds to the  concept by requiring the  expression to be equality-preserving and not modify either the function object or the arguments.