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