export declare abstract class Map<out K, out V> {
    readonly __void: void;
    readonly _K: () => K;
    readonly _V: () => V;
    abstract readonly size: number;
}
export declare class Bin<K, V> extends Map<K, V> {
    readonly key: K;
    readonly value: V;
    readonly lhs: Map<K, V>;
    readonly rhs: Map<K, V>;
    readonly tag = "bin";
    readonly size: number;
    constructor(key: K, value: V, lhs: Map<K, V>, rhs: Map<K, V>);
}
export declare const Empty: {
    readonly tag: "empty";
    readonly size: number;
    readonly __void: void;
    readonly _K: () => never;
    readonly _V: () => never;
    readonly isEmpty: boolean;
    readonly nonEmpty: boolean;
    readonly head: never;
    readonly headOption: import("../..").Option<never>;
    readonly tail: Map<never, never>;
    readonly init: Map<never, never>;
    readonly last: never;
    readonly lastOption: never;
    readonly view: import("..").View<[never, never]>;
    readonly toArray: [never, never][];
    readonly toList: import("..").List<[never, never]>;
    count(p: (v: never, k: never) => boolean): number;
    all(p: (v: never, k: never) => boolean): boolean;
    any(p: (v: never, k: never) => boolean): boolean;
    readonly min: import("../..").Option<never>;
    readonly minWithKey: import("../..").Option<[never, never]>;
    readonly max: import("../..").Option<never>;
    readonly maxWithKey: import("../..").Option<[never, never]>;
    readonly popMin: import("../..").Option<[never, Map<never, never>]>;
    readonly popMinWithKey: import("../..").Option<[[never, never], Map<never, never>]>;
    readonly popMax: import("../..").Option<[never, Map<never, never>]>;
    readonly popMaxWithKey: import("../..").Option<[[never, never], Map<never, never>]>;
    contains<K2>(this: Map<K2, never>, k: K2, O?: import("@fp4ts/cats-kernel").Ord<K2> | undefined): boolean;
    get<K2_1>(this: Map<K2_1, never>, k: K2_1, O?: import("@fp4ts/cats-kernel").Ord<K2_1> | undefined): never;
    '!!'<K2_2>(this: Map<K2_2, never>, k: K2_2, O?: import("@fp4ts/cats-kernel").Ord<K2_2> | undefined): never;
    lookup<K2_3>(this: Map<K2_3, never>, k: K2_3, O?: import("@fp4ts/cats-kernel").Ord<K2_3> | undefined): import("../..").Option<never>;
    '!?'<K2_4>(this: Map<K2_4, never>, k: K2_4, O?: import("@fp4ts/cats-kernel").Ord<K2_4> | undefined): import("../..").Option<never>;
    insert<K2_5, V2>(this: Map<K2_5, V2>, k: K2_5, v: V2, O?: import("@fp4ts/cats-kernel").Ord<K2_5> | undefined): Map<K2_5, V2>;
    insertWith<K2_6, V2_1>(this: Map<K2_6, V2_1>, k: K2_6, v: V2_1, u: (v1: V2_1, v2: V2_1, k: K2_6) => V2_1, O?: import("@fp4ts/cats-kernel").Ord<K2_6> | undefined): Map<K2_6, V2_1>;
    remove<K2_7>(this: Map<K2_7, never>, k: K2_7, O?: import("@fp4ts/cats-kernel").Ord<K2_7> | undefined): Map<K2_7, never>;
    update<K2_8, V2_2>(this: Map<K2_8, V2_2>, k: K2_8, u: (v: V2_2, k: K2_8) => V2_2, O?: import("@fp4ts/cats-kernel").Ord<K2_8> | undefined): Map<K2_8, V2_2>;
    '+++'<K2_9, V2_3>(this: Map<K2_9, V2_3>, that: Map<K2_9, V2_3>, O?: import("@fp4ts/cats-kernel").Ord<K2_9> | undefined): Map<K2_9, V2_3>;
    union<K2_10, V2_4>(this: Map<K2_10, V2_4>, that: Map<K2_10, V2_4>, O?: import("@fp4ts/cats-kernel").Ord<K2_10> | undefined): Map<K2_10, V2_4>;
    unionWith<K2_11, V2_5>(this: Map<K2_11, V2_5>, that: Map<K2_11, V2_5>, u: (v1: V2_5, v2: V2_5, k: K2_11) => V2_5, O?: import("@fp4ts/cats-kernel").Ord<K2_11> | undefined): Map<K2_11, V2_5>;
    intersect<K2_12, V2_6>(this: Map<K2_12, never>, m2: Map<K2_12, V2_6>, O?: import("@fp4ts/cats-kernel").Ord<K2_12> | undefined): Map<K2_12, never>;
    intersectWith<K2_13, V2_7, C>(this: Map<K2_13, never>, m2: Map<K2_13, V2_7>, f: (v1: never, v2: V2_7, k: K2_13) => C, O?: import("@fp4ts/cats-kernel").Ord<K2_13> | undefined): Map<K2_13, C>;
    '\\'<K2_14, V2_8>(this: Map<K2_14, never>, that: Map<K2_14, V2_8>, O?: import("@fp4ts/cats-kernel").Ord<K2_14> | undefined): Map<K2_14, never>;
    difference<K2_15, V2_9>(this: Map<K2_15, never>, that: Map<K2_15, V2_9>, O?: import("@fp4ts/cats-kernel").Ord<K2_15> | undefined): Map<K2_15, never>;
    '\\//'<K2_16, V2_10>(this: Map<K2_16, V2_10>, that: Map<K2_16, V2_10>, O?: import("@fp4ts/cats-kernel").Ord<K2_16> | undefined): Map<K2_16, V2_10>;
    symmetricDifference<K2_17, V2_11>(this: Map<K2_17, V2_11>, that: Map<K2_17, V2_11>, O?: import("@fp4ts/cats-kernel").Ord<K2_17> | undefined): Map<K2_17, V2_11>;
    filter<U extends never>(p: (v: never, k: never) => v is U): Map<never, U>;
    filter(p: (v: never, k: never) => boolean): Map<never, never>;
    map<B>(f: (v: never, k: never) => B): Map<never, B>;
    collect<B_1>(f: (v: never, k: never) => import("../..").Option<B_1>): Map<never, B_1>;
    forEach(f: (v: never, k: never) => void): void;
    foldLeft<B_2>(z: B_2, f: (b: B_2, v: never, k: never) => B_2): B_2;
    foldLeft1<V2_12>(this: Map<never, V2_12>, f: (r: V2_12, v: V2_12) => V2_12): V2_12;
    foldRight<B_3>(z: B_3, f: (v: never, b: B_3, k: never) => B_3): B_3;
    foldRight1<V2_13>(this: Map<never, V2_13>, f: (v: V2_13, r: V2_13) => V2_13): V2_13;
    foldMap<M>(M: import("@fp4ts/cats-kernel").Monoid<M>): (f: (v: never, k: never) => M) => M;
    foldMapK<F>(F: import("../../..").MonoidK<F>): <B_4>(f: (v: never, k: never) => import("@fp4ts/core").Kind<F, [B_4]>) => import("@fp4ts/core").Kind<F, [B_4]>;
    traverse<G>(G: import("../../..").Applicative<G>): <B_5>(f: (v: never, k: never) => import("@fp4ts/core").Kind<G, [B_5]>) => import("@fp4ts/core").Kind<G, [Map<never, B_5>]>;
    show(this: Map<never, never>): string;
    show(this: Map<never, never>, SV: import("../../..").Show<never>): string;
    show(this: Map<never, never>, SK: import("../../..").Show<never>, SV: import("../../..").Show<never>): string;
    readonly F: import("./map").MapF;
    readonly Vars: [never, never];
};
export type Empty = typeof Empty;
export type Node<K, V> = Bin<K, V> | Empty;
export declare const toNode: <K, V>(_: Map<K, V>) => Node<K, V>;
//# sourceMappingURL=algebra.d.ts.map