void get_branch_functions(SmallVectorImpl<func::FuncOp> &functions) {
      return ResolveBranchFunctions(nullptr, functions);
    }
  }];
}

def TF_CaseRegionOp : TF_Op<"CaseRegion",
      [SingleBlockImplicitTerminator<"YieldOp">, NoRegionArguments]> {
  let summary = [{
An n-way switch statement which calls a single branch function.
  }];

  let description = [{
An n-way switch statement, implementing the following: