dedekind::category::detail_kleisli::Halved Struct Reference

A witness's step that may fail: half of an even count. More...

Public Member Functions
constexpr Maybe< std::size_t >	operator() (std::size_t a, std::size_t) const

Detailed Description

A witness's step that may fail: half of an even count.

---

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

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