type WithoutFirst<T extends unknown[]> = ((...test: T) => void) extends ((away: unknown, ...rest: infer R) => void) ? R : never;
type GetLength<original extends unknown[]> = original extends {
    length: infer L;
} ? L : never;
export type LastIndex<T extends unknown[]> = GetLength<T> extends 1 ? 0 : GetLength<WithoutFirst<T>>;
type UnshiftOne<A extends unknown[]> = [1, ...A];
type Make<A extends unknown[], L extends number> = A["length"] extends L ? A : A["length"] extends 200 ? never : Make<UnshiftOne<A>, L>;
export type MinusOne<T extends number> = LastIndex<Make<[], T>>;
export type PlusOne<T extends number> = GetLength<UnshiftOne<Make<[], T>>>;
export {};