Documentation

Lean.Data.Lsp.Capabilities

structure Lean.Lsp.ServerCapabilities :
Type