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