dedekind::category::IsTransfinite Concept Reference

Concept definition

template<typename T>
concept dedekind::category::IsTransfinite = 
    is_transfinite_v<T> || requires { typename T::is_transfinite_tag; }

Detailed Description

species__The_Decorator_Concepts

: A species that exceeds any terminal ordinal.