Conditional type

Also written: conditional types

A type of the form `T extends U ? X : Y` that picks one of two types. It gives `X` if `T` is assignable to `U`, and `Y` otherwise.