format method
Implementation
String format(List<RetracedLine> trace){
return new JsonEncoder.withIndent(' ')
.convert(trace.map(_lineToJson).toList());
}
String format(List<RetracedLine> trace){
return new JsonEncoder.withIndent(' ')
.convert(trace.map(_lineToJson).toList());
}