(bind-func toString_help:[String*,ADList{!a}*,String*]*
(lambda (lst s)
(ADCons$ lst (x xs)
(ADNil$ xs ()
(toString_help xs (cat s (toString x)))
(toString_help xs (cat s (toString x) (Str ","))))
(cat s (Str "]")))))