append package:text

O(n) Appends one Text to the other by copying both of them into a new Text.
O(n) Appends one Stream to the other. Properties
unstream (append (stream t1) (stream t2)) = append t1 t2
O(n/c) Appends one Text to another.
Write a string to the end of a file.