(motive : List Lean.Doc.Parser.UnorderedListType → Sort u_1) →
  (x : List Lean.Doc.Parser.UnorderedListType) →
    (Unit → motive []) →
      ((x : Lean.Doc.Parser.UnorderedListType) → motive [x]) →
        ((x : Lean.Doc.Parser.UnorderedListType) → (xs : List Lean.Doc.Parser.UnorderedListType) → motive (x :: xs)) →
          motive x