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

- c -

• call() : dedekind::category
• CanonicalSetCCC : dedekind::category
• Cardinality : dedekind::sets
• CardinalityTag : dedekind::category
• carrier_cast() : dedekind::sets
• cartesian_product() : dedekind::sets
• cata() : dedekind::category
• certify_add() : dedekind::category
• certify_add_int_interval() : dedekind::category
• certify_div() : dedekind::category
• certify_mul() : dedekind::category
• chain() : dedekind::category
• chain_length() : dedekind::category
• chain_t : dedekind::category
• chain_walk_budget : dedekind::category
• character() : dedekind::numbers
• characteristic_v : dedekind::category
• check_path() : dedekind::category
• classifier() : dedekind::sets
• classifier_false() : dedekind::category
• classifier_reindexing_definitional_witness_at() : dedekind::category
• classifier_true() : dedekind::category
• classifier_unknown() : dedekind::category
• classify() : dedekind::category
• classify_numeric() : dedekind::category
• closure() : dedekind::category
• Cod : dedekind::category
• collapse_ternary() : dedekind::numbers
• collatz : dedekind::numbers
• collatz2 : dedekind::numbers
• collatz_orbit() : dedekind::numbers
• collatz_reach_path() : dedekind::numbers
• collatz_reach_time() : dedekind::numbers
• collatz_rule() : dedekind::numbers
• collatzM : dedekind::numbers
• collect() : dedekind::category
• columns_of() : dedekind::category
• compare() : dedekind::sets
• compare_rel() : dedekind::sets
• compare_signed() : dedekind::sets
• component() : dedekind::category, dedekind::sets
• compose_embedding() : dedekind::category
• comprehension_logic_t : dedekind::sets
• concat() : dedekind::category
• cond() : dedekind::sets
• congruent() : dedekind::category
• conj() : dedekind::numbers
• Constant : dedekind::category
• constant() : dedekind::category
• constant_classifier() : dedekind::category
• constant_order() : dedekind::sets
• constant_sort() : dedekind::sets
• constant_value() : dedekind::sets
• contains_self_v : dedekind::sets
• converges_in_1 : dedekind::numbers
• copies_count() : dedekind::category
• cos_n() : dedekind::numbers
• count() : dedekind::category
• count_factors() : dedekind::category
• count_section() : dedekind::category
• counting : dedekind::category
• cover() : dedekind::category
• curry() : dedekind::category
• cycle_type() : dedekind::category
• cylinder() : dedekind::category