let results = (outs Variadic<TFTensorType>);

  let assemblyFormat = "`(`operands`)` attr-dict `:` functional-type(operands, results)";
}


def ConvertDhtToFallbackTensorOp : FallbackSync_Op<"convert_dht_to_fallback_tensor",
    [CoreRT_TypedAttributeTrait]> {
  let summary = "convert a DHT to a fallback tensor";

  let description = [{
    Convert a TFRT DHT to a fallback tensor.

    dht: the input DHT.