dedekind::category::Not< A > Struct Template Reference

Collaboration diagram for dedekind::category::Not< A >:

Public Member Functions
template<typename... X> requires requires(const A& b, const X&... x) { b(x...); }
constexpr auto	operator() (const X &... x) const
	Evaluate the complement at x. With a logic_species the value is that logic's RFL (reflection / negation, honouring Kleene / Heyting Ω); for a plain bool-returning callable it is the bare !.

Public Attributes
A	base

---

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

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