i>

            <li class="nav-header">Design Notes</li>
            <li><a href="./queue.html">The FSharpChecker operations queue</a></li>
            <li><a href="./caches.html">The FSharpChecker caches</a></li>
            <li><a href="./corelib.html">Notes on FSharp.Core.dll</a></li>

            <li class="nav-header">Documentation</li>
            <li><a href="./reference/index.html">API Reference</a>
            </li>
          </ul>
        </div>
      </div>
    </div>
    <a href="https://github.