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

Specialization for Floating-Point Species (IEEE 754 NaN handling). More...

Public Types
using	type = Kleene
using	type = Kleene

Detailed Description

template<std::floating_point T>
struct dedekind::category::LogicTraits< T >

Specialization for Floating-Point Species (IEEE 754 NaN handling).

Specialization for Signed Integrals (Lipschitz Boundary handling) Note: We use Ternary here to represent the 'Unknown' state of an overflow.

---

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

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