tripleArgTypeKeyWordToJson method

dynamic tripleArgTypeKeyWordToJson(
  1. 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)}]  }';
}