dedekind::category::Join< A, B > Struct Template Reference

Collaboration diagram for dedekind::category::Join< A, B >:

Public Member Functions
template<typename... X> requires requires(const A& l, const B& r, const X&... x) { l(x...); r(x...); }
constexpr auto	operator() (const X &... x) const
	Evaluate the join at x, dual to Meet::operator(). With a logic_species the combination is that logic's OR; for plain bool-returning callables it is the bare ||. Operand storage is touched only through the π_1 / π_2 accessors.

Public Attributes
A	lhs
B	rhs

---

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

• src/main/modules/dedekind/category/lattice.cppm