Trait free_algebra::monoid::CommutativeMonoidRule

pub trait CommutativeMonoidRule<C>: MonoidRule<C> { }

A MonoidRule that is order independent

Implementors

Loading content...