def TF_IfRegionOp : TF_Op<"IfRegion",
      [SingleBlockImplicitTerminator<"YieldOp">, NoRegionArguments,
       DeclareOpInterfaceMethods<RegionBranchOpInterface, [
           "areTypesCompatible",
           "getEntrySuccessorOperands",
           "getRegionInvocationBounds",
           "getSuccessorRegions"
       ]>
      ]> {
  let summary = "output = cond ? then_branch output : else_branch output";

  let description = [{