∀ {α : Type u} [inst : Ord α] [inst_1 : SizeOf α] (treeMap : Std.DTreeMap.Internal.Impl α fun x => Unit)
  (range : Std.Rci α), sizeOf { treeMap := treeMap, range := range } = 1 + sizeOf treeMap + sizeOf range