[[オブジェクト型 (TypeScript)|オブジェクト型]]の[[プロパティ (TypeScript)|プロパティ]]からなる[[ユニオン型 (TypeScript)|ユニオン型]]を定義できる型演算子。
```ts
interface JapaneseCityDict {
tokyo: "東京";
osaka: "大阪";
nagoya: "名古屋";
}
type City = keyof JapaneseCityDict;
// ^? type City = keyof JapaneseCityDict
// "tokyo" | "osaka" | "nagoya" と同じ
```