{motive : Lean.Lsp.InitializeResult → Sort u} →
  (t : Lean.Lsp.InitializeResult) →
    ((capabilities : Lean.Lsp.ServerCapabilities) →
        (serverInfo? : Option Lean.Lsp.ServerInfo) →
          motive { capabilities := capabilities, serverInfo? := serverInfo? }) →
      motive t