Skip to content

sbio::HasCountableDataUnits

template<typename T>
concept= requires {
typename T::DataUnit;
typename T::StepIdxType;
requires std::convertible_to<typename T::StepIdxType, std::size_t>;
{ T::ExhaustedSentinel } -> std::convertible_to<typename T::StepIdxType>;
};