type RequiredProperty<Type, Keys extends keyof Type> = Type & { [P in Keys]-?: Type[P]; }; export type { RequiredProperty as R };