(motive : List Lean.Parser.ParserResolution → Sort u_1) →
  (x : List Lean.Parser.ParserResolution) →
    ((cat : Lean.Name) → motive [Lean.Parser.ParserResolution.category cat]) →
      ((parserName : Lean.Name) → (isDescr : Bool) → motive [Lean.Parser.ParserResolution.parser parserName isDescr]) →
        ((«alias» : Lean.Parser.ParserAliasValue) → motive [Lean.Parser.ParserResolution.alias «alias»]) →
          ((head head_1 : Lean.Parser.ParserResolution) →
              (tail : List Lean.Parser.ParserResolution) → motive (head :: head_1 :: tail)) →
            (Unit → motive []) → motive x