import { int, nat } from "./primitives.js";
import { Hash } from "./things.js";
export declare class HashSet<E> implements Iterable<E> {
    #private;
    constructor(hash: Hash<E>);
    [Symbol.iterator](): Iterator<E, any, undefined>;
    insert(elem: E): E | undefined;
    insertMultiple(elems: Iterable<E>): boolean;
    contains(elem: E): boolean;
    remove(elem: E): E | undefined;
    get size(): nat;
    elems(): E[];
    hashCode(): int;
    isEqualTo(other: HashSet<E>): boolean;
    get isEmpty(): boolean;
    pick(): E | undefined;
    static make<E>(hash: Hash<E>, ...elems: E[]): HashSet<E>;
}
export declare const HashSetHash: Hash<HashSet<any>>;