Specifies that a type is a derivation of any specialization of a template. More...
Satisfied if K is derived from L with any parameters.
K
L