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

  let arguments = (ins
    MlrtFutureType:$future
  );

  let assemblyFormat = "operands attr-dict";
}

def AwaitAllControlOp: Mlrt_Op<"await_all_control", []> {
  let summary = "Awaits multiple signals";

  let description = [{
    Awaits multiple signals

    $futures: A list of !mlrt.futures
  }];

  let arguments = (ins