dedekind::category::detail_chain_arrows::IsZero Struct Reference

Public Types
using	Domain = unsigned
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (unsigned n) const
constexpr bool	operator== (const IsZero &) const =default

---

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

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