import { Either } from "@tsplus/stdlib/data/Either/definition";
/**
 * Compact types Either<E, A> | Either<E2, B> = Either<E | E2, A | B>
 * @tsplus static Either.Ops compact
 * @tsplus macro identity
 * @tsplus location "@tsplus/stdlib/data/Either/compact"
 */
export declare function compact<E extends Either<any, any>>(_: E): [E] extends [Either<infer L, infer R>] ? Either<L, R> : E;
//# sourceMappingURL=compact.d.ts.map