Specifies that a type defines a call operator for the specified argument types. More...
Satisfied if K has a call operator defined for the specified types.
K