extend stdlib_strings:to_string() to arrays #1120
Description
Motivation
I find usefult to use the function to_string() in logging or debugging statements.
Sometimes I have to convert (small sized) vectors or arrays.
Is there interest on extending this function to cover those cases?
I was thinking someting like:
v = [ 1, 2, 3]
a = [[1,2,3],[4,56]]
for 1D and 2D arrays, respectively
Prior Art
No response
Additional Information
No response