∀ {α : Type u} {β : Type v} {cmp : α → α → Ordering} {t : Std.TreeMap.Raw α β cmp} {δ : Type w} {f : δ → α → β → δ}
  {init : δ}, Std.TreeMap.Raw.foldl f init t = Array.foldl (fun a b => f a b.1 b.2) init t.toArray