Check (p.coq-lsp.0.2.3+8.17.doc.coq-lsp.fleche.Fleche.Theory.Check)

coq-lsp
- CHANGES
- README
- Library Astdump_plugin
  - Astdump_plugin
- Library Example_plugin
  - Example_plugin
- Library Explain_errors
  - Explain_errors
- Library Goaldumpl_plugin
  - Goaldumpl_plugin
- Library Savevo_plugin
  - Savevo_plugin
- Library Unidiff_plugin
  - Unidiff_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Fleche_lsp
- Library coq-lsp.petanque
  - Petanque
- Library coq-lsp.plugin
- Library coq-lsp.request
  - Request
- Library coq-lsp.serlib
  - Serlib
- Library fleche_waterproof
  - Fleche_waterproof
- Library petanque_json
  - Petanque_json
- Library petanque_shell
  - Petanque_shell
- Library serlib_cc
  - Serlib_cc
- Library serlib_extraction
  - Serlib_extraction
- Library serlib_firstorder
  - Serlib_firstorder
- Library serlib_funind
  - Serlib_funind
- Library serlib_ltac
  - Serlib_ltac
- Library serlib_ltac2
  - Serlib_ltac2
- Library serlib_micromega
  - Serlib_micromega
- Library serlib_number_string_notation_plugin
  - Serlib_number_string_notation_plugin
- Library serlib_ring
  - Serlib_ring
- Library serlib_ssr
  - Serlib_ssr
- Library serlib_ssrmatching
  - Serlib_ssrmatching
- Library serlib_tauto
  - Serlib_tauto
- Library serlib_zify
  - Serlib_zify
- Sources

val maybe_check : 
  io:Io.CallBack.t ->
  token:Coq.Limits.Token.t ->
  (Int.Set.t * Doc.t) option

Check pending documents, return None if there is none pending, or Some rqs the list of requests ready to execute after the check. Sends progress and diagnostics notifications using output function ofn.

Sourceval set_scheduler_hint : uri:Lang.LUri.File.t -> point:(int * int) -> unit