structure Lean.Lsp.Registration : Type

• id : String
• method : String
• registerOptions : Option Lean.Json

instance Lean.Lsp.instToJsonRegistration : Lean.ToJson Lean.Lsp.Registration

instance Lean.Lsp.instFromJsonRegistration : Lean.FromJson Lean.Lsp.Registration

structure Lean.Lsp.RegistrationParams : Type

• registrations : Array Lean.Lsp.Registration

instance Lean.Lsp.instToJsonRegistrationParams : Lean.ToJson Lean.Lsp.RegistrationParams

instance Lean.Lsp.instFromJsonRegistrationParams : Lean.FromJson Lean.Lsp.RegistrationParams