Specifies that a type defines an indirection operator. More...
Satisfied if K has an indirection operator defined.
K