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

Codomain typedef (defined in dedekind::category::image_decidability_witness::ToyEmbed)	dedekind::category::image_decidability_witness::ToyEmbed
Domain typedef (defined in dedekind::category::image_decidability_witness::ToyEmbed)	dedekind::category::image_decidability_witness::ToyEmbed
operator()(bool b) const (defined in dedekind::category::image_decidability_witness::ToyEmbed)	dedekind::category::image_decidability_witness::ToyEmbed	inline