Specifies that a type defines a argumentless call operator. More...
Satisfied if K has a 0 parameter call operator defined.
K