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

- u -

• U64 : dedekind::sets
• u64 : dedekind::sets
• uncurry() : dedekind::category
• unfold() : dedekind::category
• unit() : dedekind::category
• unit_effect() : dedekind::sets
• unit_root() : dedekind::numbers
• universe() : dedekind::sets
• universe_t : dedekind::sets
• unpack : dedekind::category
• until() : dedekind::category