Explanation: The operator that generates a union of property names of a type. Useful for creating types based on the keys of an object.