Up – Package index » vsrocq-language-server » Library vsrocq-language-server.dm » Dm » CheckingManager » Internal

Module `CheckingManager.Internal`Source

val get_proof : 
  Document.document ->
  state ->
  Types.sentence_id option ->
  Protocol.ProofState.t option

Sourceval is_remotely_executed : state -> Types.sentence_id -> bool