dedekind::category::IsChainDecidedConnex Concept Reference

Concept definition

template<typename T, typename Rel>
concept dedekind::category::IsChainDecidedConnex =  IsWalkableChain<T, Rel, 2> && !requires {
  T::template is_connex_v<Rel>;
} && requires {
  typename std::bool_constant<connex_on(Rel{}, unit<T>(Sup{}), unit<T>(Inf{}))>;
}