{
    "spellright.language": [],
    "spellright.documentTypes": [
        "markdown",
        "plaintext"
    ],
    "search.exclude": {
        ".*.aux": true,
        "*.a": true,
        "*.cma": true,
        "*.cmi": true,
        "*.cmo": true,
        "*.cmx": true,
        "*.cmxa": true,
        "*.cmxs": true,
        "*.glob": true,
        "*.ml.d": true,
        "*.ml4.d": true,
        "*.mli.d": true,
        "*.mllib.d": true,
        "*.mlpack.d": true,
        "*.native": true,
        "*.o": true,
        "*.v.d": true,
        "*.vio": true,
        "*.vo": true,
        ".coq-native/": true,
        ".csdp.cache": true,
        ".lia.cache": true,
        ".nia.cache": true,
        ".nlia.cache": true,
        ".nra.cache": true,
        "csdp.cache": true,
        "lia.cache": true,
        "nia.cache": true,
        "nlia.cache": true,
        "nra.cache": true,
        "Makefile.coq": true,
        "Makefile.coq.conf": true,
        ".coqdeps.d": true,
        "**/_minted-*": true,
        "**/*.aux": true,
        "**/*.log": true,
//      "**/*.out": true, // .v.out is used for expected test output
        "**/*.synctex.gz": true,
        "**/*.toc": true,
        "**/*.vrb": true,
        "**/*.fls": true,
        "**/*.nav": true,
        "**/*.bbl": true,
        "**/*.blg": true,
        "**/*.fdb_latexmk": true,
        "**/*.vtc": true
    },
    "files.exclude": {
        ".*.aux": true,
        "*.a": true,
        "*.cma": true,
        "*.cmi": true,
        "*.cmo": true,
        "*.cmx": true,
        "*.cmxa": true,
        "*.cmxs": true,
        "*.glob": true,
        "*.ml.d": true,
        "*.ml4.d": true,
        "*.mli.d": true,
        "*.mllib.d": true,
        "*.mlpack.d": true,
        "*.native": true,
        "*.o": true,
        "*.v.d": true,
        "*.vio": true,
        "*.vo": true,
        ".coq-native/": true,
        ".csdp.cache": true,
        ".lia.cache": true,
        ".nia.cache": true,
        ".nlia.cache": true,
        ".nra.cache": true,
        "csdp.cache": true,
        "lia.cache": true,
        "nia.cache": true,
        "nlia.cache": true,
        "nra.cache": true,
        "Makefile.coq": true,
        "Makefile.coq.conf": true,
        ".coqdeps.d": true,
        "**/_minted-*": true,
        "**/*.aux": true,
        "**/*.log": true,
//      "**/*.out": true, // .v.out is used for expected test output
        "**/*.synctex.gz": true,
        "**/*.toc": true,
        "**/*.vrb": true,
        "**/*.fls": true,
        "**/*.nav": true,
        "**/*.bbl": true,
        "**/*.blg": true,
        "**/*.fdb_latexmk": true,
        "**/*.vtc": true,
        "**/.*.aux": true,
        "**/*.a": true,
        "**/*.cma": true,
        "**/*.cmi": true,
        "**/*.cmo": true,
        "**/*.cmx": true,
        "**/*.cmxa": true,
        "**/*.cmxs": true,
        "**/*.glob": true,
        "**/*.ml.d": true,
        "**/*.ml4.d": true,
        "**/*.mli.d": true,
        "**/*.mllib.d": true,
        "**/*.mlpack.d": true,
        "**/*.native": true,
        "**/*.coq.d": true,
        "**/*.o": true,
        "**/*.v.d": true,
        "**/*.vio": true,
        "**/*.vos": true,
        "**/*.vok": true,
        "**/*.vo": true,
        "**/.coq-native/": true,
        "**/.csdp.cache": true,
        "**/.lia.cache": true,
        "**/.nia.cache": true,
        "**/.nlia.cache": true,
        "**/.nra.cache": true,
        "**/csdp.cache": true,
        "**/lia.cache": true,
        "**/nia.cache": true,
        "**/nlia.cache": true,
        "**/nra.cache": true,
        "**/Makefile.coq": true,
        "**/Makefile.coq.conf": true,
        "**/.coqdeps.d": true,
        "**/Makefile.test-suite.coq": true,
        "**/Makefile.test-suite.coq.conf": true,
        "**/.coqdeps.test-suite": true,
        "**/*.dot": true
    }
}