(motive : Lean.Meta.Grind.SymbolPriorityEntry → Sort u_1) →
  (x : Lean.Meta.Grind.SymbolPriorityEntry) →
    ((declName : Lean.Name) → (prio : ℕ) → motive { declName := declName, prio := prio }) → motive x