#TypeScript [[判別されたユニオン型]]で判別のため共通でもつプロパティのこと。以下の`kind`がそれにあたる。 ```ts interface Fish { kind: "fish" swim(): void } interface Bird { kind: "bird" fly(): void } // Discriminated unions type Animal = Fish | Bird ```