{motive : Lean.Doc.Parser.InList → Sort u} →
  (t : Lean.Doc.Parser.InList) →
    ((indentation : ℕ) →
        (type : Lean.Doc.Parser.OrderedListType ⊕ Lean.Doc.Parser.UnorderedListType) →
          motive { indentation := indentation, type := type }) →
      motive t