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

export type { RequiredProperty as R };