SafeSet<K>: { __brand: "SafeSet"; __key: K; $add(this: SafeSet<K>,
key: K): void; $clear(this: SafeSet<K>): void; $delete(this: SafeSet<K>,
key: K): boolean; $getSize(this: SafeSet<K>): number; $has(this: SafeSet<K>,
key: K): boolean; $keys(this: SafeSet<K>): Iterable<K, any, any>; }