import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Apply } from "@tsplus/stdlib/prelude/Apply";
import { EnforceNonEmptyRecord } from "@tsplus/stdlib/utilities/Types";
/**
 * @tsplus static DSL structF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/structF"
 */
export declare function structF<F extends HKT>(F: Apply<F>): <NER extends Record<string, import("../HKT").HKT.Kind<F, any, any, unknown>>>(r: import("../../utilities/Types").EnforceNonEmptyRecord<NER>) => import("../HKT").HKT.Kind<F, import("../HKT").HKT.Infer<F, "R", NER[keyof NER]>, import("../HKT").HKT.Infer<F, "E", NER[keyof NER]>, { [K in keyof NER]: import("../HKT").HKT.Infer<F, "A", NER[K]>; }>;
//# sourceMappingURL=structF.d.ts.map