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

- l -

• lattice_definitely_less() : dedekind::category
• least_fixpoint() : dedekind::category
• legs() : dedekind::category
• len() : dedekind::category
• letter_map() : dedekind::category
• letters() : dedekind::category
• letters_of() : dedekind::category
• lift() : dedekind::category
• 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
• logical_false() : dedekind::category
• logical_true() : dedekind::category
• lower_cover() : dedekind::category
• lower_set() : dedekind::numbers