dedekind::category::detail::InitialEnvelope Struct Reference

Public Member Functions
constexpr const Zero *	operator-> () const

Public Attributes
Zero	value {nullptr}

---

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

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