Here is a list of all documented class members with links to the class documentation for each member:

- u -

• unfold_view() : dedekind::category::unfold_view< S, Coalg >
• universe() : dedekind::relational::RelExpr< K, Cs >
• upper_bound() : dedekind::numbers::Comprehension< Base, Predicate >, dedekind::relational::Comprehension< Base, Predicate >, dedekind::sequences::Comprehension< Base, Predicate >, dedekind::sets::Comprehension< Base, Predicate >