Extract

Extract constructs a type by extracting from Type all union members that are assignable to Union.

type T0 = Extract<'a' | 'b' | 'c', 'a' | 'f'>;
//    ^ = type T0 = "a"

Learn more from the following links:

• Extract<Type, Union>