import type { Lock } from "@effect/core/stm/TReentrantLock/definition/Lock";
export declare const WriteLockSym: unique symbol;
export type WriteLockSym = typeof WriteLockSym;
/**
 * This data structure describes the state of the lock when a single fiber has
 * a write lock. The fiber has an identity, and may also have acquired a
 * certain number of read locks.
 *
 * @tsplus type effect/core/stm/TReentrantLock/WriteLock
 */
export interface WriteLock extends Lock {
}
/**
 * @tsplus type effect/core/stm/TReentrantLock/WriteLock.Ops
 */
export interface WriteLockOps {
    $: WriteLockAspects;
}
export declare const WriteLockOps: WriteLockOps;
/**
 * @tsplus type effect/core/stm/TReentrantLock/WriteLock.Aspects
 */
export interface WriteLockAspects {
}
//# sourceMappingURL=WriteLock.d.ts.map