saplingToJson method
dynamic
saplingToJson(
- dynamic d
Implementation
saplingToJson(d) {
if (d.length == 7) {
var annot = d[3].map((x) => '"${getMapValue(x[1])}"').toList();
return '{ "prim": "${getMapValue(d[2])}", "args": [ { "int": "${getMapValue(d[5])}" } ], "annots": [${listToString(annot)}] }';
} else {
return '{ "prim": "${getMapValue(d[2])}", "args": [ { "int": "${getMapValue(d[4])}" } ] }';
}
}