Specifies that a type defines a call operator for the specified argument types (with strict return). More...
Satisfied if K has a call operator defined for the specified types that returns R.
K
R