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

- a -

• Add : dedekind::optimization::CriticalPathStep< S, Cap, CostFn >, dedekind::optimization::Relax< S, Cap, CostFn >

- c -

• cardinality_type : dedekind::numbers::𝔸< T, L, C >, dedekind::numbers::Rational< Z >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sequences::BoundedSet< OI, P >, dedekind::sets::𝔸< T, L, C >
• Codomain : dedekind::category::Identity< T >, dedekind::category::LiftLogic< L >, dedekind::category::Subobject< A, Chi >, dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• column_type : dedekind::linear_algebra::MatNxNV< S, N >

- d -

• Domain : dedekind::category::Identity< T >, dedekind::category::LiftLogic< L >, dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::SemimoduleVec< S, N, Orientation >, dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::relational::RelExpr< K, Cs >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >

- e -

• element_type : dedekind::category::unfold_view< S, Coalg >

- i -

• inverse_type : dedekind::linear_algebra::BlockUpperTriangular< A, B, D >, dedekind::linear_algebra::DirectSum< A, B >, dedekind::linear_algebra::Invertible2x2< T, a, b, c, d >
• is_initial_object_tag : dedekind::sequences::Ø< T, L >, dedekind::sets::Ø< T, L >
• is_monic_arrow_tag : dedekind::category::SubobjectInclusion< S >
• is_terminal_object_tag : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• is_universal_boundary : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >

- j -

• JoinOp : dedekind::category::Boole, dedekind::category::Chain< T >, dedekind::category::Kleene

- l -

• logic_species : dedekind::category::Percentage, dedekind::category::Subobject< A, Chi >, dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::relational::RelExpr< K, Cs >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >

- m -

• Mult : dedekind::optimization::CriticalPathStep< S, Cap, CostFn >, dedekind::optimization::Relax< S, Cap, CostFn >

- p -

• Pointer : dedekind::category::Morphisms< T, Op >

- s -

• Shape : dedekind::category::path_functor< T >