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

- r -

• random_letter() : dedekind::category
• random_text() : dedekind::category
• random_word() : dedekind::category
• rank() : dedekind::category
• reaches() : dedekind::order::detail_cover_witness
• reaches_1_within() : dedekind::numbers
• read_as() : dedekind::sets
• realize_to_size_t() : dedekind::sets
• reduce_β() : dedekind::category
• reduced() : dedekind::category
• refl() : dedekind::category
• reflexive_at() : dedekind::category
• refuse_deep_composite() : dedekind::category::detail_arrows
• refuse_window_width() : dedekind::category::detail_comprehension
• refutes() : dedekind::category
• rel_admitted() : dedekind::sets
• rel_apply() : dedekind::sets
• restriction() : dedekind::sets
• retract() : dedekind::category
• rolling_any() : dedekind::category
• rolling_count() : dedekind::category
• root_within() : dedekind::sets
• rotate() : dedekind::category
• row_of_sorts() : dedekind::sets
• run() : dedekind::category
• run_list() : dedekind::category