dedekind::sets::RelOr< A, B > Struct Template Reference

Join (disjunction) of two relational predicates, the result of || on them, dual to RelAnd. More...

Collaboration diagram for dedekind::sets::RelOr< A, B >:

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename P>
constexpr auto	operator() (const P &p) const

Public Attributes
A	a
B	b

Detailed Description

template<typename A, typename B>
struct dedekind::sets::RelOr< A, B >

Join (disjunction) of two relational predicates, the result of || on them, dual to RelAnd.

Template Parameters

A	the left operand.
B	the right operand.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sets/terms.cppm