{motive : Lean.Server.RefInfo → Sort u} →
  (t : Lean.Server.RefInfo) →
    ((definition : Option Lean.Server.Reference) →
        (usages : Array Lean.Server.Reference) → motive { definition := definition, usages := usages }) →
      motive t