Synopsis Convert a list to an indented string.
Function str itoString(list[&T] lst)
Usage import List;
Description Convert lst to a indented string.
rascal>import List;
rascal>itoString([10, 20, 30]);
str: "[10,20,30]"
rascal>itoString(["zebra", "elephant", "snake", "owl"]);
str: "[\"zebra\",\"elephant\",\"snake\",\"owl\"]"
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit