Specifies that a type defines an indirection operator (with strict return). More...
Satisfied if K has an indirection operator defined that returns R&.
K
R&