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