dedekind::category::detail_periodic::CheckedPlus< N > Struct Template Reference

The checked sum of two exact counts: none if either is none or their sum leaves the word. More...

Public Member Functions
constexpr std::optional< N >	operator() (std::optional< N > a, std::optional< N > b) const

Detailed Description

template<IsCountWord N>
struct dedekind::category::detail_periodic::CheckedPlus< N >

The checked sum of two exact counts: none if either is none or their sum leaves the word.

---

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

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