import { STM } from "@effect/core/stm/STM/definition/base";
import { Tag } from "@tsplus/stdlib/service/Tag";
import { LazyArg } from "@tsplus/stdlib/data/Function";
import { Env } from "@tsplus/stdlib/service/Env";
/**
 * @tsplus fluent ets/STM provideServiceSTM
 * @tsplus location "@effect/core/stm/STM/operations/provideServiceSTM"
 */
export declare function provideServiceSTM_<R, E, A, R1, E1, T, T1 extends T>(self: STM<R, E, A>, tag: Tag<T>, service: LazyArg<STM<R1, E1, T1>>): STM<R1 | Exclude<R, T>, E | E1, A>;
/**
 * @tsplus static ets/STM/Aspects provideServiceSTM
 * @tsplus pipeable ets/STM provideServiceSTM
 * @tsplus location "@effect/core/stm/STM/operations/provideServiceSTM"
 */
export declare const provideServiceSTM: <R1, E1, T, T1 extends T>(tag: import("@tsplus/stdlib/service/Tag").Tag<T>, service: import("@tsplus/stdlib/data/Function").LazyArg<import("../definition").STM<R1, E1, T1>>) => <R, E, A>(self: import("../definition").STM<R, E, A>) => import("../definition").STM<R1 | Exclude<R, T>, E | E1, A>;
//# sourceMappingURL=provideServiceSTM.d.ts.map