dedekind::category::detail::InitialEnvelope Member List

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

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