65                   cases_.back().upper = std::move(pair.second);  in AddCase()
131               if (x.upper) {  in ComputeBounds()
132                 hi = GetValue(*x.upper);  in ComputeBounds()
134               if ((x.lower && !lo) || (x.upper && !hi)) {  in ComputeBounds()
145     bool IsDefault() const { return !lower && !upper; }  in IsDefault()
152           if (!upper) {  in AsFortran()
154           } else if (*lower != *upper) {  in AsFortran()
155             evaluate::Constant<T>{*upper}.AsFortran(bs << ':');  in AsFortran()
158         } else if (upper) {  in AsFortran()
159           evaluate::Constant<T>{*upper}.AsFortran(bs << "(:") << ')';  in AsFortran()
168     std::optional<Value> lower, upper;  member
181         return x.upper && y.lower && *x.upper < *y.lower;  in operator ()()