flex_builder->Bool(name.c_str(),
                         array[i].cast<mlir::BoolAttr>().getValue());
    } else if (llvm::isa<mlir::StringAttr>(attr)) {
      flex_builder->String(name.c_str(),
                           array[i].cast<mlir::StringAttr>().getValue().str());
    } else if (llvm::isa<mlir::vhlo::BooleanV1Attr>(array[i])) {
      flex_builder->Bool(name.c_str(),

    std::vector<std::string> disabled_checks;
    for (auto attr : op.getDisabledChecks().getAsRange<StringAttr>()) {
      disabled_checks.push_back(attr.getValue().str());
    }
    std::vector<std::string> platforms;
    for (auto attr : op.getPlatforms().getAsRange<StringAttr>()) {
      platforms.push_back(attr.getValue().str());
    }