template<typename T>
typename std::remove_cvref_t<T>::ValueType;
{ a.add(typename std::remove_cvref_t<T>::ValueType{1}) } -> std::same_as<void>;
{ a.set(typename std::remove_cvref_t<T>::ValueType{1}) } -> std::same_as<void>;
{ a.value() } -> SomeNumberType;
}
Definition CounterImpl.hpp:29