dedekind::category::Inf Struct Reference

Meet ∧: the greatest lower bound on a chain (min), returned by value. Value-returning sibling of Sup. More...

Public Member Functions
template<SupInfOperand T>
constexpr T	operator() (const T &a, const T &b) const
	Value-returning meet: returns min(a,b) by value (a copy of the winner), never a reference into an argument.

Detailed Description

Meet ∧: the greatest lower bound on a chain (min), returned by value. Value-returning sibling of Sup.

---

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

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