@[instance_reducible]

instance Std.PRange.instToStreamRccIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Rcc α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRcoIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Rco α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRciIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Rci α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRocIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Roc α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRooIterIteratorOfUpwardEnumerable {α : Type u_1} [UpwardEnumerable α] : ToStream (Roo α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRoiIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] : ToStream (Roi α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRicIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] : ToStream (Ric α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRioIterIteratorOfUpwardEnumerableOfLeast? {α : Type u_1} [UpwardEnumerable α] [Least? α] : ToStream (Rio α) (Iter α)

@[instance_reducible]

instance Std.PRange.instToStreamRiiIterIteratorOfUpwardEnumerableOfLeast? {α : Type} [UpwardEnumerable α] [Least? α] : ToStream (Rii α) (Iter α)