∀ {α : Type u_1} {β : α → Type u_2} [inst : Ord α] (t : Std.DTreeMap.Internal.Impl α β) (lowerBound upperBound : α),
  Std.DTreeMap.Internal.rccIterator t lowerBound upperBound =
    {
      internalState :=
        { iter := Std.DTreeMap.Internal.Zipper.prependMapGE t lowerBound Std.DTreeMap.Internal.Zipper.done,
          upper := upperBound } }