Documentation

Lean.Server.FileWorker.Utils

A document bundled with processing information. Turned into EditableDocument as soon as the reporter task has been started.

Instances For

    Construct a VersionedTextDocumentIdentifier from an EditableDocument -

    Equations
      Instances For
        Instances For
          Equations
            Instances For