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

- l -

• lattice : dedekind::numbers
• lattice_definitely_less() : dedekind::category
• law_evaluation_budget : dedekind::category
• least_fixpoint() : dedekind::category
• leg_1_t : dedekind::sets
• legs() : dedekind::category
• len() : dedekind::category
• letter_map() : dedekind::category
• letters() : dedekind::category
• letters_of() : dedekind::category
• lift() : dedekind::category
• lift_ℕ_ℤ_ : dedekind::sets
• lift_cardinality_to_signed() : dedekind::sets
• lift_classifier_constant() : dedekind::category
• lift_conditionals() : dedekind::sets
• lift_logic() : dedekind::category
• lift_to() : dedekind::sets
• lifted() : dedekind::category::detail_kleisli, dedekind::category
• lifts_to_v : dedekind::category
• logic_is_complemented_v : dedekind::category
• logic_negation_is_involutive_v : dedekind::category
• logical_false() : dedekind::category
• logical_true() : dedekind::category
• LogicOf : dedekind::category
• lower_cover() : dedekind::category
• lower_set() : dedekind::numbers
• LowerSet : dedekind::numbers
• lp_step_arrow : dedekind::optimization::detail