let constructor = "CreateReduceWhileOperandsPass()";
  let dependentDialects = ["TFL::TensorFlowLiteDialect", "TF::TensorFlowDialect"];
}

def RuntimeVerifyPass : Pass<"tfl-runtime-verify", "mlir::func::FuncOp"> {
  let summary = "TFLite runtime verification";
  let constructor = "CreateRuntimeVerifyPass()";
}