Specifies that a type defines a pre-increment operator. More...
Satisfied if K has a pre-increment operator defined.
K