Here is a list of all documented namespace members with links to the namespaces they belong to:

- d -

• de_morgan_law() : dedekind::category
• declared_arrow_laws() : dedekind::category
• default_cardinality_t : dedekind::sets
• default_cell() : dedekind::sets
• default_integer : dedekind::numbers
• default_sort() : dedekind::sets
• defined_through() : dedekind::sets
• defining_term() : dedekind::sets
• demo_add_adaptive() : dedekind::numbers
• demo_add_report() : dedekind::numbers
• demo_propagate_add() : dedekind::numbers
• demo_propagate_mul() : dedekind::numbers
• descends_on() : dedekind::sets
• descent_slot() : dedekind::sets
• disc_self_endofunctor_t : dedekind::category
• disc_self_unit_t : dedekind::category
• discharge_ieee() : dedekind::numbers
• discrete_lift_t : dedekind::category
• Dom : dedekind::category
• dot() : dedekind::numbers