dedekind::relational::RelAnd< A, B > Struct Template Reference

Meet (conjunction) of two relational predicates, the result of && on them. More...

Collaboration diagram for dedekind::relational::RelAnd< 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::relational::RelAnd< A, B >

Meet (conjunction) of two relational predicates, the result of && on them.

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