@[inline]

def Std.Iter.joinString {α β : Type} [Iterator α Id β] [ToString β] (it : Iter β) : String

Appends all the elements in the iterator, in order.

@[inline]

def Std.Iter.intercalateString {α β : Type} [Iterator α Id β] [ToString β] (s : String.Slice) (it : Iter β) : String

Appends the elements of the iterator into a string, placing the separator s between them.