Options.ts

type TypeMap = {
  'number?'?: number;
  number: number;
  'string?'?: string;
  string: string;
  'boolean?'?: boolean;
  boolean: boolean;
};

type OptionsArg = {
  [key: string]: [keyof TypeMap, string] | keyof TypeMap | OptionsArg;
};

type Options<O extends OptionsArg> = {
  [key in keyof O]: O[key][0] extends keyof TypeMap
    ? TypeMap[O[key][0]]
    : O[key] extends keyof TypeMap
    ? TypeMap[O[key]]
    : O[key] extends OptionsArg
    ? Options<O[key]>
    : never;
};