dedekind::category::detail_arrows_witness::HasSections Concept Reference

Concept definition

template<typename T, typename Op>
concept dedekind::category::detail_arrows_witness::HasSections =  requires { typename Sections<T, Op>; }