}];

  let arguments = (ins
    Variadic<MlrtFutureType>:$futures
  );

  let assemblyFormat = "operands attr-dict `:` type($futures)";
}

def PromiseControlOp: Mlrt_Op<"promise_control", []> {
  let summary = "Set a control promise";

  let description = [{
    Set a control promise.

    $promise: A value of !mlrt.promise type.
  }];

  let arguments = (ins