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