@override String visitCases(CasesNode node) { final rows = node.cases.map((e) => [e.$1, e.$2]).toList(); return _mrow("<mo>{</mo>${_buildTable(rows)}"); }