$Keys$Keys @exampletype Props = { name: string; age: number; visible: boolean }; // Expect: "name" | "age" | "visible" type PropsKeys = $Keys<Props>; type $Keys<T extends object> = keyof T;§Type Parameters§T extends object[src]§Type§keyof T[src]