- watchers : Array Lean.Lsp.FileSystemWatcher
Instances For
- Created: Lean.Lsp.FileChangeType
- Changed: Lean.Lsp.FileChangeType
- Deleted: Lean.Lsp.FileChangeType
Instances For
- uri : Lean.Lsp.DocumentUri
- type : Lean.Lsp.FileChangeType
Instances For
- changes : Array Lean.Lsp.FileEvent