vscoq-language-server.dm
ExecutionManager.ProofWorkerProcess
Coq toplevels for delegation without fork
vscoq-language-server.language
vscoq-language-server.lsp
type options
val parse_options : Coqargs.t -> string list -> options * string list
val main : st:Vernacstate.t -> options -> unit
val log : ?force:bool -> (unit -> string) -> unit