SafeMap<K, V>: { __brand: "SafeMap"; __key: K; __val: V; $clear(this: SafeMap<K, V>): void; $delete(this: SafeMap<K, V>,
key: K): boolean; $entries(this: SafeMap<K, V>): Iterable<[K, V], any, any>; $get(this: SafeMap<K, V>,
key: K): undefined | V; $getSize(this: SafeMap<K, V>): number; $has(this: SafeMap<K, V>,
key: K): boolean; $keys(this: SafeSet<K>): Iterable<K, any, any>; $set(this: SafeMap<K, V>,
key: K,
value: V): void; $values(this: SafeMap<K, V>): Iterable<V, any, any>; }