{motive : Lean.LibrarySuggestions.Suggestion → Sort u} →
  (t : Lean.LibrarySuggestions.Suggestion) →
    ((name : Lean.Name) →
        (score : Float) → (flag : Option String) → motive { name := name, score := score, flag := flag }) →
      motive t