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

- t -

• take() : dedekind::category
• term_of() : dedekind::sets
• term_value() : dedekind::sets
• term_value_as() : dedekind::sets
• tighter_lower() : dedekind::order::detail_interval
• tighter_upper() : dedekind::order::detail_interval
• TranscendentalSet() : dedekind::numbers