These refer to ranked tensors, but are actually applicable to any shaped type
PiperOrigin-RevId:
268931789
def F32Tensor : TensorOf<[F32]>;
def F64Tensor : TensorOf<[F64]>;
-// Whether a type is a ranked tensor type.
+// Whether a shaped type is ranked.
def HasRankPred : CPred<"$_self.cast<ShapedType>().hasRank()">;
-// Whether a type is a ranked tensor type with one of the specified ranks.
+// Whether a shaped type has one of the specified ranks.
class HasAnyRankOfPred<list<int> ranks> : And<[
HasRankPred,
Or<!foreach(rank, ranks,