dedekind::category::detail_arrows_witness::Inc Struct Reference

Public Types
using	Domain = unsigned
using	Codomain = unsigned

Public Member Functions
constexpr unsigned	operator() (unsigned x) const

---

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

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