∀ {α : Type u} {β : α → Type v} {_cmp : autoParam (α → α → Ordering) Std.DTreeMap.Raw._auto_1}
  {inner inner_1 : Std.DTreeMap.Internal.Impl α β}, { inner := inner } = { inner := inner_1 } → inner = inner_1