let hasFolder = 1;
}

def TFL_RangeOp: TFL_Op<"range", [
    Pure,
    TFL_OperandHasRank<0, 0>,
    TFL_OperandHasRank<1, 0>,
    TFL_OperandHasRank<2, 0>,
    PredOpTrait<"operands and output must have same element type",
      And<[TCresVTEtIsSameAsOp<0, 0>, TCresVTEtIsSameAsOp<0, 1>,
           TCresVTEtIsSameAsOp<0, 2>]>>]> {
  let summary = "Range operator";

  let description = [{

  let description = [{
    A pass that propagates device assignment of resources on a module. It
    performs in-function propagation, as well as cross-function propagation from
    callers to callees.

    This pass changes the module by adding "tf.device" attribute to function
    arguments and adding "device" attribute to TF ops.

    For example, given the function

    ```mlir