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

- o -

• Object() : dedekind::relational::Object
• of() : dedekind::numbers::QuadraticReal< D, Q >
• of_sides() : dedekind::numbers::Interval< V, L >, dedekind::order::Interval< V, L >
• one() : dedekind::algebra::Monomial< N >
• operator machine_type() : dedekind::category::Truth< L >
• operator Morphism< T, T, std::function< T() : dedekind::category::SetId< T >
• operator std::size_t() : dedekind::sets::ExtensionalCardinal< W >, dedekind::sets::SignedExtensionalCardinal< S >
• operator Target() : dedekind::sets::SignedExtensionalCardinal< S >
• operator!() : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• operator()() : dedekind::algebra::Polynomial< R, M >, dedekind::analysis::TwoForm< F, N >, dedekind::category::ActionFunctor< H, V, S >, dedekind::category::Below< C >, dedekind::category::Compose< F, G >, dedekind::category::composite_functor< F, G >, dedekind::category::Congruent< N >, dedekind::category::Copy< A >, dedekind::category::counting_action< T, Op >, dedekind::category::Curried< T, Op >, dedekind::category::Delete< A >, dedekind::category::detail_involution::Reversed< Op >, dedekind::category::Equals< A >, dedekind::category::FibonacciMod< N >, dedekind::category::HeytingExponential< T, std::less_equal< T >, Inf >, dedekind::category::Identity< T >, dedekind::category::identity_functor< Cat >, dedekind::category::ImageChi< F >, dedekind::category::In< N >, dedekind::category::Inf, dedekind::category::Join< A, B >, dedekind::category::Mapped< S, Coalg, F >, dedekind::category::maybe_functor< T >, dedekind::category::Meet< A, B >, dedekind::category::Merge< A, Meet >, dedekind::category::Not< A >, dedekind::category::Predecessor< N >, dedekind::category::Prefixed< P, S, T >, dedekind::category::Prior< N >, dedekind::category::ProductLeq< LeqA, LeqB >, dedekind::category::Projection< K >, dedekind::category::Projection< 0 >, dedekind::category::Reduce< Less, Ord, Combine >, dedekind::category::Reverse, dedekind::category::Rolling< F, Step, Acc >, dedekind::category::Rule< A, B >, dedekind::category::RunList< N, K >, dedekind::category::Section< T, Op >, dedekind::category::Shift< N >, dedekind::category::StepCoalgebra< X, Step >, dedekind::category::Subobject< A, Chi >, dedekind::category::Successor< N >, dedekind::category::Sup, dedekind::category::Symmetric< P, S, T >, dedekind::category::Tensor< R, S >, dedekind::category::tuple_functor< T >, dedekind::category::Uncurried< T, Op >, dedekind::category::Unfold< S, Coalg >, dedekind::category::Until< End, Step >, dedekind::category::ZeroElement< N >, dedekind::linear_algebra::Diagonal< D, F >, dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::OuterProduct< U, V, Mult >, dedekind::morphologies::singleton_image_breadcrumb::Successor< N >, dedekind::numbers::𝔸< T, L, C >, dedekind::numbers::Comprehension< Base, Predicate >, dedekind::numbers::EmbedRationalToReal< I >, dedekind::numbers::Interval< V, L >, dedekind::optimization::CriticalPathStep< S, Cap, CostFn >, dedekind::optimization::Relax< S, Cap, CostFn >, dedekind::order::detail_runs::FoldPieces< Op, L >, dedekind::order::detail_steps::Steps< L >, dedekind::order::Interval< V, L >, dedekind::order::Runs< V, L >, dedekind::order::Sub< C, L >, dedekind::relational::𝔸< T, L, C >, dedekind::relational::Comprehension< Base, Predicate >, dedekind::relational::CoreflexivePred< S >, dedekind::relational::detail_hyperdoctrine_witness::Copy< A >, dedekind::relational::Intersect< R, S, Meet >, dedekind::relational::RelExpr< K, Cs >, dedekind::sequences::𝔸< T, L, C >, dedekind::sequences::BoundedSet< OI, P >, dedekind::sequences::ComposePrefixPred< PR, PS >, dedekind::sequences::Comprehension< Base, Predicate >, dedekind::sequences::DominanceRefinement< T, OI, Cost, Order >, dedekind::sets::𝔸< T, L, C >, dedekind::sets::Cmp< R, A, B >, dedekind::sets::Comprehension< Base, Predicate >, dedekind::sets::Point< T >, dedekind::sets::Pred< K >, dedekind::sets::Projection< K >, dedekind::sets::SumMembership< A, B >, jlt::Reverse
• operator*() : dedekind::category::unfold_view< S, Coalg >::iterator, dedekind::linear_algebra::BlockUpperTriangular< A, B, D >, dedekind::linear_algebra::DirectSum< A, B >, dedekind::linear_algebra::Invertible2x2< T, a, b, c, d >, dedekind::sequences::Ø< T, L >, dedekind::sets::Ø< T, L >
• operator++() : dedekind::category::unfold_view< S, Coalg >::iterator
• operator-() : dedekind::numbers::Cut< Q >, dedekind::numbers::Quaternion< R >, dedekind::sets::ExtensionalCardinal< W >, dedekind::sets::SignedExtensionalCardinal< S >
• operator<=() : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::Ø< T, L >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::Ø< T, L >, dedekind::sets::𝔸< T, L, C >
• operator==() : dedekind::category::Compose< F, G >, dedekind::category::Morphism< A, B, Func >, dedekind::category::RunList< N, K >, dedekind::category::Section< T, Op >, dedekind::linear_algebra::Invertible2x2< T, a, b, c, d >, dedekind::numbers::𝔸< T, L, C >, dedekind::order::Sub< C, L >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• operator[]() : dedekind::linear_algebra::Covec2V< T >, dedekind::linear_algebra::Matrix2x2V< T >, dedekind::linear_algebra::Vec2V< T >
• operator^() : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• OR() : dedekind::category::Chain< T >, dedekind::category::Kleene, dedekind::category::Percent