hunk.code_window:       [9, 9],
         [10, undefined],
       ]);
     });
     it('push inserts at highest index', () => {
       const v0 = List.of('a', 'b', 'c');
       const v1 = v0.push('d', 'e', 'f');
  
hunk.labels: keep keep keep keep add keep keep keep
hunk.after_edit:   it('has the same iterator function for values', () => {
       const l = List(['a', 'b', 'c']);
       expect(l[Symbol.iterator]).toBe(l.values);
     });
  
hunk.file_path: __tests__/List.ts
hunk.type: add
file: import { useEffect, useState } from 'react';
  
  export function DocSearch() {
    const [enabled, setEnabled] = useState<boolean | null>(null);
  
    useEffect(() => {
      const script = document.createElement('script');
      const firstScript = document.getElementsByTagName('script')[0];
      script.src =
        'https://cdn.jsdelivr.net/npm/docsearch.js@2.5.2/dist/cdn/docsearch.min.js';
      script.addEventListener(
        'load',
        () => {
          // Initialize Algolia search.
          // @ts-ignore
          if (window.docsearch) {
            // @ts-ignore
            window.docsearch({
              apiKey: '83f61f865ef4cb682e0432410c2f7809',
              indexName: 'immutable_js',
              inputSelector: '#algolia-docsearch',
            });
            setEnabled(true);
          } else {
            setEnabled(false);
          }
        },
        false
      );
      firstScript?.parentNode?.insertBefore(script, firstScript);
  
      const link = document.createElement('link');
      const firstLink = document.getElementsByTagName('link')[0];
      link.rel = 'stylesheet';
      link.href =
        'https://cdn.jsdelivr.net/npm/docsearch.js@2.5.2/dist/cdn/docsearch.min.css';
      firstLink?.parentNode?.insertBefore(link, firstLink);
    }, []);
  
    if (enabled === false) return null;
  
    return (
      <input
        id="algolia-docsearch"
        className="docSearch"
        type="search"
        placeholder="Search Immutable.js Documentation"
        disabled={!enabled}
      />
    );
  }
  