Specifies that a type defines an address-of operator (with strict return). More...
Satisfied if K has an address-of operator defined that returns R*.
K
R*