Specifies that a type is one of several types. More...
Satisfied if K is the same as at least one of L.
K
L