dedekind::category::is_lattice_top_for< X, Ord > Struct Template Reference

Is X the registered top of the lattice whose order is Ord? More...

Inheritance diagram for dedekind::category::is_lattice_top_for< X, Ord >:

Collaboration diagram for dedekind::category::is_lattice_top_for< X, Ord >:

Detailed Description

template<typename X, typename Ord>
struct dedekind::category::is_lattice_top_for< X, Ord >

Is X the registered top of the lattice whose order is Ord?

---

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

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