Module Client.DocumentProofsParamsSource

Sourcetype t = {
  1. textDocument : Lsp.Types.TextDocumentIdentifier.t;
}