Specifies that a type defines a post-decrement operator (with strict return). More...
Satisfied if K has a post-decrement operator defined that returns K.
K