dedekind::category::detail_mereology::Dial< N > Struct Template Reference

A discrete bounded chain of N values that is no enum: a class with a cover step and two bounds, nothing registered about its relations. More...

Public Attributes
int	v

Friends
constexpr auto	operator<=> (const Dial &, const Dial &)=default
constexpr Dial	successor (Dial d)

Detailed Description

template<int N>
struct dedekind::category::detail_mereology::Dial< N >

A discrete bounded chain of N values that is no enum: a class with a cover step and two bounds, nothing registered about its relations.

---

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

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