dedekind::category::detail_comprehension::IsBounded Concept Reference

Concept definition

template<typename Coalg>
concept dedekind::category::detail_comprehension::IsBounded =  requires { bound_of<Coalg>::value; }