List of all items

Structs

• combinatorics::LexicographicSubsetsWithRemovals
• combinatorics::Partition
• structure::CompositionMorphism
• structure::Functions
• structure::IdentityMorphism

Traits

• structure::BijectiveFunction
• structure::CountableSetStructure
• structure::EqStructure
• structure::FiniteSetStructure
• structure::Function
• structure::InjectiveFunction
• structure::MetaType
• structure::Morphism
• structure::MorphismsStructure
• structure::SetStructure
• structure::Structure
• structure::ToStringStructure

Derive Macros

• structure::CanonicalStructure

Functions

• combinatorics::compositions
• combinatorics::compositions_sized
• combinatorics::compositions_sized_zero
• combinatorics::num_partitions
• combinatorics::num_partitions_predicated
• combinatorics::num_partitions_sized
• combinatorics::num_partitions_sized_predicated
• combinatorics::num_partitions_sized_zero
• combinatorics::num_partitions_sized_zero_predicated
• combinatorics::set_partitions_eq
• combinatorics::set_partitions_ge
• combinatorics::set_partitions_le
• combinatorics::set_partitions_range
• combinatorics::subsets
• combinatorics::subsets_of_vec
• number_theory::primes
• structure::common_structure