Type Alias TypedApplicationArgs<TArgs>

TypedApplicationArgs: TArgs extends never
    ? unknown[]
    : TArgs extends []
        ? []
        : TArgs extends [infer TArg, ...(infer TRest)]
            ? readonly [TypedApplicationArg<TArg>, ...TypedApplicationArgs<TRest>]
            : never

Conditional type which maps a tuple of application arguments to a tuple of input types for specifying those arguments.