#[derive(AbelianGroup)]Expand description
Derive macro for AbelianGroup.
Marker trait indicating a commutative group.
Requires each field to implement AbelianGroup.
§Example
ⓘ
#[derive(Semigroup, Monoid, CommutativeMonoid, Group, AbelianGroup)]
struct Foo {
a: i32, // (Z, +) is abelian
b: MyAbelianGroup,
}