Type alias definition of overloaded functions

translator.ts

const translator = <Result extends string|Promise<string>>() => {
  type A = any[];
  function t(s?:TranslateOptions):
    (s:TemplateStringsArray, ...values:A) => Result;
  function t(s:string,...values:A):(s:string, ...values:A) => Result;
  function t(n:number|Signal<number>, s?:TranslateOptions):
    (s:TemplateStringsArray, ...values:A) => Result;
  function t(n:number|Signal<number>, s?:TranslateOptions):
    (s:string, ...values:A) => Result;
  function t(s:TemplateStringsArray, ...values:A):Result;
  function t(
    this:TranslateOptions,
    _s_?:number|Signal<number>|string|TranslateOptions|TemplateStringsArray,
    ..._values_:A
  ):
  | Result
  | ((s:TemplateStringsArray, ...values:A) => Result)
  | ((s:string, ...values:A) => Result)
  { throw Error("Don't call") }
  return t;
};
type Translator<Result extends string|Promise<string>> =
  ReturnType<typeof translator<Result>>;