dedekind::sets::HasStructuredOr Concept Reference

Downstream specialization hook for structured predicate disjunction. More...

Concept definition

template<typename P1, typename P2>
concept dedekind::sets::HasStructuredOr = 
    requires(const std::decay_t<P1>& p1, const std::decay_t<P2>& p2) {
      { structured_or(p1, p2) };
    }

Detailed Description

Downstream specialization hook for structured predicate disjunction.

Mirrors HasStructuredAnd through structured_or(p1, p2).