(motive : Lean.Doc.ListItem (Lean.Doc.Block Lean.ElabInline Lean.ElabBlock) → Sort u_1) →
  (x : Lean.Doc.ListItem (Lean.Doc.Block Lean.ElabInline Lean.ElabBlock)) →
    ((bs : Array (Lean.Doc.Block Lean.ElabInline Lean.ElabBlock)) → motive { contents := bs }) → motive x