@Override
public ASTNode visit(org.kframework.kil.MapBuiltin node, Void _void) {
BuiltinMap.Builder builder = BuiltinMap.builder(termContext);
for (Map.Entry<org.kframework.kil.Term, org.kframework.kil.Term> entry :
node.elements().entrySet()) {
builder.put((Term) this.visitNode(entry.getKey()), (Term) this.visitNode(entry.getValue()));
}
for (org.kframework.kil.Term term : node.baseTerms()) {
builder.concatenate((Term) this.visitNode(term));
}
return builder.build();
}
