Interface ExpressionMapInterface<U>

interface ExpressionMapInterface<U> {
    "[iterator]"(): IterableIterator<[BoxedExpression, U]>;
    clear(): void;
    delete(expr: BoxedExpression): void;
    entries(): IterableIterator<[BoxedExpression, U]>;
    get(expr: BoxedExpression): undefined | U;
    has(expr: BoxedExpression): boolean;
    set(expr: BoxedExpression, value: U): void;
}