Specifies that a type defines a argumentless call operator (with strict return). More...
Satisfied if K has a 0 parameter call operator defined that returns R.
K
R