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