tripleArgTypeKeyWordToJson method
dynamic
tripleArgTypeKeyWordToJson(
- dynamic d
Implementation
tripleArgTypeKeyWordToJson(d) {
var annot = d[1].map((x) => '"${x[1]}"');
return '{ "prim": "${getMapValue(d[0])}", "args": [ ${listToString(d[3])}, ${listToString(d[5])}, ${listToString(d[7])} ], "annots": [${listToString(annot)}] }';
}