dedekind::category::NumericWitness< T > Struct Template Reference

A typed witness of numeric classification in Ω_K3. More...

Collaboration diagram for dedekind::category::NumericWitness< T >:

Public Attributes
T	value
Ternary	status

Detailed Description

template<typename T>
struct dedekind::category::NumericWitness< T >

A typed witness of numeric classification in Ω_K3.

---

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

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