dedekind::category::detail::TerminalEnvelope Struct Reference

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

Public Attributes
One	value {}

---

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

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