Specifies that a type defines an addition operator for itself. More...
Satisfied if K has an addition operator defined for itself.
K