∀ {α : Type u} {β : Type v} {cmp : autoParam (α → α → Ordering) Std.TreeMap._auto_1}
  (inner inner_1 : Std.DTreeMap α (fun x => β) cmp), ({ inner := inner } = { inner := inner_1 }) = (inner = inner_1)