∀ {α : Type u} {β : Type v} {treeMap : Std.DTreeMap.Internal.Impl α fun x => β} {range : Std.Rii α}
  {treeMap_1 : Std.DTreeMap.Internal.Impl α fun x => β} {range_1 : Std.Rii α},
  { treeMap := treeMap, range := range } = { treeMap := treeMap_1, range := range_1 } →
    treeMap = treeMap_1 ∧ range = range_1