// May take values of type !tfl.control as inputs
  let arguments = (ins
    Variadic<TFL_Control>:$controlInputs
  );

  // Adds a single value of type !tfl.control as the last output (all other
  // outputs are copied from the wrapped region.)
  let results = (outs
    Variadic<AnyTensor>:$outputs,
    TFL_Control:$control
  );

  let regions = (region SizedRegion<1>:$body);