import { STM } from "@effect/core/stm/STM/definition/base";
import { EnforceNonEmptyRecord } from "@tsplus/stdlib/utilities/Types";
import type { STMTypeId } from "@effect/core/stm/STM";
/**
 * Applicative structure.
 * @tsplus static effect/core/stm/STM.Ops struct
 * @tsplus location "@effect/core/stm/STM/operations/struct"
 */
export declare function struct<NER extends Record<string, STM<any, any, any>>>(r: EnforceNonEmptyRecord<NER> & Record<string, STM<any, any, any>>): STM<[
    NER[keyof NER]
] extends [{
    [STMTypeId]: {
        _R: (_: never) => infer R;
    };
}] ? R : never, [
    NER[keyof NER]
] extends [{
    [STMTypeId]: {
        _E: (_: never) => infer E;
    };
}] ? E : never, {
    [K in keyof NER]: [NER[K]] extends [STM<any, any, infer A>] ? A : never;
}>;
//# sourceMappingURL=struct.d.ts.map