dedekind::category::detail::TerminalEnvelope Member List

This is the complete list of members for dedekind::category::detail::TerminalEnvelope, including all inherited members.

operator->() const (defined in dedekind::category::detail::TerminalEnvelope)	dedekind::category::detail::TerminalEnvelope	inline
value (defined in dedekind::category::detail::TerminalEnvelope)	dedekind::category::detail::TerminalEnvelope