// @filename: types.ts
type Fns =  Record<string, (...params: unknown[]) => unknown>

type Map<T extends Fns> = { [K in keyof T]: T[K]; };

type AllArg<T extends Fns> = { [K in keyof T]: Parameters<T[K]> };

function fn<T extends { x: Map<T['x']> }>(sliceIndex: T): AllArg<T['x']> {
    return null!;
}

export default { fn };

// @filename: reexport.ts

import test from "./types";
export default { test };

declare const _default: {
    test: {
        fn: <T_1 extends {
            x: T_1["x"] extends infer T ? { [K in keyof T]: T_1["x"][K]; } : never;
        }>(sliceIndex: T_1) => T_1["x"] extends infer T_2 ? { [K_1 in keyof T_2]: Parameters<T_1["x"][K_1]>; } : never;
    };
};
export default _default;

declare const _default: {
    test: {
        fn: <T_1 extends {
            x: T_1["x"] extends (infer T extends Record<string, (...params: unknown[]) => unknown>) ? { [K in keyof T]: T_1["x"][K]; } : never;
        }>(sliceIndex: T_1) => T_1["x"] extends (infer T_2 extends Record<string, (...params: unknown[]) => unknown>)
             ? { [K_1 in keyof T_2]: Parameters<T_1["x"][K_1]>; } : never;
    };
};
export default _default;