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: