Specifies that a type defines a unary minus operator. More...
Satisfied if K has a unary minus operator defined.
K