(motive : Lean.Lsp.RefIdent × Option Lean.Lsp.RefInfo.Location → Sort u_1) →
  (x : Lean.Lsp.RefIdent × Option Lean.Lsp.RefInfo.Location) →
    ((moduleName nameString : String) →
        (loc : Lean.Lsp.RefInfo.Location) → motive (Lean.Lsp.RefIdent.const moduleName nameString, some loc)) →
      ((x : Lean.Lsp.RefIdent × Option Lean.Lsp.RefInfo.Location) → motive x) → motive x