Documentation

Lean.Data.Lsp.TextSync

Section "Text Document Synchronization" of the LSP spec.

Instances For
    Instances For

      NOTE: This is defined twice in the spec. The latter version has more fields.

      Instances For