import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Apply } from "@tsplus/stdlib/prelude/Apply";
/**
 * @tsplus static DSL tupleF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/tupleF"
 */
export declare const tupleF: <F extends import("../HKT").HKT>(F: import("../Apply").Apply<F>) => <T extends import("../HKT").HKT.Kind<F, any, any, unknown>[]>(...args: T) => import("../HKT").HKT.Kind<F, import("../HKT").HKT.Infer<F, "R", T[number]>, import("../HKT").HKT.Infer<F, "E", T[number]>, { [K in keyof T]: [T[K]] extends [import("../HKT").HKT.Kind<F, any, any, infer A>] ? A : never; }>;
//# sourceMappingURL=tupleF.d.ts.map