∀ {i : Type u} {b : Type v} {start : ℤ} {items : Array (Lean.Doc.ListItem (Lean.Doc.Block i b))} {start_1 : ℤ}
  {items_1 : Array (Lean.Doc.ListItem (Lean.Doc.Block i b))},
  Lean.Doc.Block.ol start items = Lean.Doc.Block.ol start_1 items_1 → start = start_1 ∧ items = items_1