(motive : Lean.Name × List (Lean.Parser.Parser × ℕ) → Sort u_1) →
  (x : Lean.Name × List (Lean.Parser.Parser × ℕ)) →
    ((tok : Lean.Name) → (ps : List (Lean.Parser.Parser × ℕ)) → motive (tok, ps)) → motive x