src/vs/base/common/skipList.ts/SkipList/delete
class SkipList:	delete(key: K): boolean {
		const didDelete = SkipList._delete(this, key, this.comparator);
		if (didDelete) {
			this._size -= 1;
		}
		return didDelete;
	}