dedekind::category::lattice_less_logic< Less > Struct Template Reference

The logic species a comparator reports in: Boole (a bool decision) unless the comparator names its own logic typedef (e.g. Kleene, so an undecidable comparison can be Unknown). More...

Public Types
using	type = Boole

Detailed Description

template<typename Less>
struct dedekind::category::lattice_less_logic< Less >

The logic species a comparator reports in: Boole (a bool decision) unless the comparator names its own logic typedef (e.g. Kleene, so an undecidable comparison can be Unknown).

---

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

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