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