vsrocq-language-server.dm
CheckingManager.Internal
vsrocq-language-server.language
vsrocq-language-server.lsp
val is_remotely_executed : state -> Types.sentence_id -> bool