@Override
public ASTNode visit(org.kframework.kil.SetBuiltin node, Void _void) {
BuiltinSet.Builder builder = BuiltinSet.builder(termContext);
for (org.kframework.kil.Term element : node.elements()) {
builder.add((Term) this.visitNode(element));
}
for (org.kframework.kil.Term term : node.baseTerms()) {
builder.concatenate((Term) this.visitNode(term));
}
return builder.build();
}
