Lines Matching defs:Logical

32   static_assert(T::category == TypeCategory::Logical);
467 static Expr<Type<TypeCategory::Logical, KIND>> RewriteOutOfRange(
469     FunctionRef<Type<TypeCategory::Logical, KIND>> &&funcRef) {
470   using ResultType = Type<TypeCategory::Logical, KIND>;
644 Expr<Type<TypeCategory::Logical, KIND>> FoldIntrinsicFunction(
646     FunctionRef<Type<TypeCategory::Logical, KIND>> &&funcRef) {
647   using T = Type<TypeCategory::Logical, KIND>;
956       static_assert(T::category != TypeCategory::Logical);
973 Expr<Type<TypeCategory::Logical, KIND>> FoldOperation(
978   using Ty = Type<TypeCategory::Logical, KIND>;
987 Expr<Type<TypeCategory::Logical, KIND>> FoldOperation(
989   using LOGICAL = Type<TypeCategory::Logical, KIND>;