dedekind::category::LatticeTop< T, Rel > Struct Template Reference

The abstract top of the lattice over (T, Rel), dually. More...

Detailed Description

template<typename T, typename Rel>
struct dedekind::category::LatticeTop< T, Rel >

The abstract top of the lattice over (T, Rel), dually.

---

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

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