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

Division with truncation-awareness (Ternary Logic). More...

Public Types
using	logic_species = Kleene

Public Member Functions
constexpr TernaryResult< T >	operator() (std::pair< T, T > p) const noexcept

Detailed Description

template<std::integral T>
struct dedekind::category::HonestDivTransform< T >

Division with truncation-awareness (Ternary Logic).

---

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

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