}];

  let arguments = (ins
    Variadic<AnyType>:$args,
    SymbolRefAttr:$callee
  );

  let results = (outs
    MlrtAsyncHandleType:$handle
  );

  let assemblyFormat = "`(` $args `)` attr-dict `:` functional-type($args, $handle)";
}

def AwaitHandleOp: Mlrt_Op<"await_handle", []> {
  let summary = "Awaits an async execution ";

    BuildableType<"$_builder.getType<::mlrt::compiler::PromiseType>()"> {
  let description = [{
    `!mlrt.promise type` represents a C++ mlrt::Promise.
  }];
}

def MlrtAsyncHandleType : DialectType<Mlrt_Dialect,
    CPred<"$_self.isa<::mlrt::compiler::AsyncHandleType>()">, "!mlrt.async_handle type">,
    BuildableType<"$_builder.getType<::mlrt::compiler::AsyncHandleType>()"> {
  let description = [{